[firedrake] Preconditioner for Least-squares FEM