petsc 3.5 installation