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
Removed the show tabs function because it didnt work correctly in all cases