waf --list needs to show old numbers as well as new names

[Hal Murray]

esr at thyrsus.com said:
>> --refclock=irig,nmea,pps,hp58503a,shm,gpsd
> I'm not seeing a problem here.  Isn't it trvial to get those names from,
> e.g., https://docs.ntpsec.org/latest/refclock.html ? 

The problem is not to "get the names", it's to translate an old number to the 
new name.  You may have forgotten which driver you tossed into that setup or 
why, and maybe now is not the time to clean up that sort of thing.


-- 
These are my opinions.  I hate spam.