Reinstate new theme with fixes for problems identified.

* reinstate edit on github link lost in first pass
* require sphinx 1.2b3 (provides recent jquery plus respects :hidden: toc directive for generating global toc in sidebar)