Python version 1.3.0
1.3.0
Fix python 3 failing to load version.
Python 1.3.1
1.3.1
Update code mirror and jquery

Tune the web page scrolling a bit as well.

Closes #143