tests: check for duplicate short IDs
Add a simple test that checks whether there are short IDs used in more than one OS; it may happen e.g. because of typos.
There are no problems reported currently.
Signed-off-by: Pino Toscano ptoscano@redhat.com