Customized tools and configurations for converting the Dune core repositories from SVN to Git