Navier-Stokes solvers based on FEniCS