Updating petsc to version 3.5.0