Updated the dist repo IDs.

This makes config in settings.xml simpler.