Replace LABELs with UUIDs
Currently archisodevice is got from /dev/disk/by-label/$archisolabel; this is not ok because if multiple ISOs built on different days in the same month are inserted into the computer, a seemingly random one is chosen.
This could be solved by selecting the partition by UUID instead of by LABEL.
This is already implemented in !25 (closed).