update CodeMirror
move proxy extension, stylize js code hints

move proxy extension to user directory
stylize js code hints