Add downloaded packages in petsc.  Remove pips from dolfin.