Implemented boundary conditions

Since PETSc uses left-preconditioning by default, they boundary conditions can be enforced by applying them to the velocity field in the mixed preconditioner.