recompile petsc-dev after next pull

[Barry Smith]

  petsc-dev users,

    After your next pull on petsc-dev you will need to recompile
your PETSc libraries. I have changed the numerical values of the enum MatOption
and strange stuff will happen without a recompile.

   Barry