petsc/dolfin setup up