[firedrake] installing firedrake on a cluster