Scripts for handling the Open MPI SVN-to-git-and-Github conversion.