Fix Python wrapper docs (in dev).

Sphinx failed to build ssa_tao.py because it does not really import
petsc4py and so the code checking the PETSc version can't do its job.