[firedrake] Dockerised build tests.