recompile all after next pull to petsc-dev

[Barry Smith]

  petsc-dev users,

   After your next petsc-dev pull please rerun make in the 
root directory to rebuild all the libraries.

   Barry