Merge branch '184_toolchain_editor' into 'master'

Toolchain Editor

Closes #184

See merge request !117
5 jobs for master in 6 minutes and 51 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Build
passed #182301
docker
build_linux_36

00:05:50

passed #182302
docker
build_linux_37

00:05:48

passed #182299
macosx
build_macosx_36

00:05:54

passed #182300
macosx
build_macosx_37

00:05:49

 
  Deploy
passed #182303
docker
deploy_beta

00:00:53