Install and run tests for DOLFIN in a Docker container