Release process instructions

Closes #214
Update code mirror and jquery

Tune the web page scrolling a bit as well.

Closes #143