PIN editor could be improved

[phofman]

There are few bugs around generating new debug token:
a) PIN editor could display names of known devices
b) the PIN is not copied, if you discover successfully a device
c) it could suggest adding other 'stored' devices, if not already on the list