[firedrake] Firedrake installations