Fix shift-enter to not insert empty line by overriding the shift-enter of codemirror
Fix height of codemirror, since the CSS to do this changed in version 3.1