Update to fenics-dev

This PR updates the fenics packages to the latest master branches from Bitbucket. It also removes ufc, since ufc has been merged into ffc upstream.