2.5.x CodeMirror4.0

Code mirror 3.16 for Joomla 2.5. The 3.x version is here #1803