QubesOS/qubes-issues#2257
Allow device plugin to list attached and available devices. Enforce at API level every device being exposed by some domain. This commit only changes devices API, but not update existing users (pci) yet. QubesOS/qubes-issues#2257
Fix few typos, then rename: - recreate-appmenus -> domain-restore: there may be more to do than only appmenus