[firedrake] Firedrake can now install icepack for you.