Added a version switcher on the documentation.

Implements a rudimentary version switcher. Most of the javascript has come out of the python source itself, minus the ```jquery``` magic at the bottom.