codemirror updates

* updated codemirror
* removed all customization from codemirror.css, now in css.php
* added more themes
* Fixed asynchronous lazy loader for themes
* added fullscreen button, adapts for scrollbars and editor size
* implemented line highlighting
* implemented selection matching

* added lazyload library for css and js dynamic includes with callbacks