Many fixes to document building - we now use the handy pypi doc upload script.