Move "make-reg-dotc" and "make-reg-dotc.py" to the "tools" directory, so