AMR single settling sphere benchmark
This adds another benchmark for adaptive refinement. It features a settling sphere and can be freely parametrized with the Galileo number. It is thus a good playground for AMR and starting point for own AMR apps.