Clean up merging strategy interface
This merge request incorporates the changes for the index merging strategy names decided in Berlin. It also renames those strategies from tags to merging strategies, introduces a new concept to allow testing whether a type is a merging strategy, moves the strategies to the namespace Dune::Functions::BaseBuilder
and adds factory functions to create the strategies.