Travis: don't install PETSc from binary package