Software used in 'Slate: extending Firedrake's domain-specific abstraction to hybridized solvers for geoscience and beyond' - firedrake-zenodo (2019)