Migrate FFC interface to Firedrake

Needs to go in with firedrakeproject/firedrake#160.