updated petsc examples and tests

this should fix the broken tests on Travis