Update codemirro
Merge pull request #72 from pvullioud/pav_updatecodemirror_69

Update codemirror to 4.2