[firedrake] Firedrake Zenodo integration and Github move