Ajout de CodeMirror, éditeur Javascript
Ajout du style pour la fenêtre d'édition CodeMirror