petsc installation from git repository