Software used in 'Automating the generation of performance models for simulation code' - firedrake-zenodo (2021)