Workaround for Sphinx appending to sys.path

The sphinxify() command ends up appending to sys.path all the time, this is at the root of http://trac.sagemath.org/12781