REP-3: Add numbers to Ubuntu version codenames

Assuming I'm not the only one cross-checking each time.