Rename RandomPerms.cpp to randomPerms.cpp