petsc: updates for TS and SNES interface changes in petsc-dev

These are simple changes and will be everything needed for petsc-3.4