Remove toolchain editor

This merge request removes the ability of editing toolchains on the online platform.

For more details see %Read-only platform

Fixes #575 (closed)