Updated CodeMirror
Implemented option for button labels, closes #10