changes to the editor:
  updated codemirror to latest version
  new console
  autocomplete for syntax and basis procedures