[ET Trac] [Einstein Toolkit] #1814: Make git repository names conform to Cactus CamelCase name convention.