update assets: CodeMirror to 3.1, Twitter Bootstrap to 2.3.0