moving convert_*.cmd -> tools
tools/grmc.cmd, using set notation for allowed file extensions