Use CodeMirror for pretty Javascript in query page