Replace LABELs with UUIDs
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
This is already implemented in !25.