Software used in 'Symbolic Dual Evaluation in Firedrake' - firedrake-zenodo (2020)