[firedrake] Gathering D.O.F.s onto one process