Software used in 'Shape optimisation for faster washout in recirculating flows' - firedrake-zenodo (2020)