Projection updates

This implements projection of expressions into vector valued function spaces, along with adding some more checks. We also test convergence of RT and BDM spaces, at which point I realise I don't know what degree RT1 (in fenics speak) is meant to be.  Is this the one where norway counts from 1 not 0?