Upgrade to Sphinx 1.2.3.

Please do a `./waf distclean` after this PR is merged.