Fix Python wrapper docs.

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.