Update README to reflect availability of new AlarmClockAutoToolsDist repository on GitHub.