install.sh: Install PETSc 3.4 from PPA