PETSc: install files needed by a python wrapper.
PETSc: disable the invocation of petscnagupgrade.py.