Allow specifying known devices in the registry. WIP.#378

ejeffrey wants to merge 2 commits intomasterlabrad/servers:masterfrom

u/ejeffrey/gpib_device_listlabrad/servers:u/ejeffrey/gpib_device_listCopy head branch name to clipboard