Make the device list a separate file

[MayeulC]

Ideally, the udev rules file would be generated by it, but we are not there yet, as it would require a compilation step (or a pre-commit hook). The program installing the udev rules itself could also be a possibility.