[firedrake] Firedrake install on a cluster