doc/pythonlib -> doc/pismpython
PISM Python bindings work with PETSc 3.4 and the development version of petsc4py.  TAO still not yet available.