Navier-Stokes: set default profiling regions
DOLFIN Navier-Stokes: enable FFC optimisations
Firedrake Navier-Stokes: enable COFFEE optimisations
Navier-Stokes: silence FFC
Navier-Stokes: register additional timings
Refactor Firedrake assembly COFFEE optimisation benchmark