CodeMirror update and goodies

The newest versions of CodeMirror should allow for us to automatically replace Tab by 4 spaces on any editor, following a quick recipe: http://stackoverflow.com/questions/15183494/codemirror-tabs-to-spaces

It would be good if we could also:

• Visualize/Differentiate Tabs and Spaces
• Visualize trailing whitespaces