Random Device names

[JONL at MIT-MC (Jon L White)]

I hacked some code for the IDND (Insufferable Device Name Distinguisher!)
in ITS mode, to make it recognize things like AR1 as devices.   Basically,
there was a bug in the stripping off of right-end digits - but also I put
in a binary sort of the device-name table.