editor improvements: auto-closing brackets, Ctrl-Space autocompletion