Misc

Just some misc upgrades. BTW: the Ipython highlighter should probably migrate towards pygments. I know they have a `pycon` lexer, maybe an `ipycon` lexer would be good. This would have the advantage that we a) wouldn't have to ship the sphinx extension and b) the code highlighting would work outside of sphinx too, for example using rst2pdf and the github automatic rendering (these use docutils, and docutils uses pygments).

If no one objects I'll merge tomorrow.