A repository of Firedrake benchmarks