small gitignore update
* ignore .patch files
* i'm going to use this commit as the example commit for the api spec
update codemirror submodule
* update codemirror submodule to point to 3.19 (a stable point release)
Merge branch 'develop' of https://github.com/cricket-ide/cricket into develop