More detailed Firedrake installation instructions