removed ZZZ_currently_broken_or_obsolete_examples_but_do_not_remove/BENCHMARK_CLAERBOUT_ADJOINT, which contained big obsolete binary files (now that we are going to move the examples to GitHub, this was problematic)