update CodeMirror to 3.11, replacing simple-hint.js to show-hint.js
update Twitter Bootstrap to v2.3.1