[firedrake] Firedrake installation on cluster