Clean up the rocky-tools root dir, the mirror script has it's own subdir too. This makes rocky-tools scale better. As this breaks existing links, we should do it as early as possible, before GA.
