Software used in 'Goal-Oriented Error Estimation and Mesh Adaptation for Shallow Water Modelling' - firedrake-zenodo (2019)