Software used in 'Automated shape differentiation in the Unified Form Language' - firedrake-zenodo (2018)