Travis: install PETSc 3.4 from PPA