Software used in 'GPU accelerated geometric multigrid in the Firedrake compiler' - firedrake-zenodo (2020)