updates

- Upgraded to CodeMirror 3.1
- Moved all codemirror customizations to additional files
- fixed showTabs function
- Using combined and minfied js and css files
- Tiny fixes