Add support for DirichletBC on mixed function spaces

Depends on https://bitbucket.org/mapdes/ffc/pull-request/5