Added framework for a PETSc based navier stokes solver. Still must, or Sebastian should do it, implement the specific algorithm.