Update code mirror and jquery

Tune the web page scrolling a bit as well.

Closes #143