Small tool allowing to map DVB devs with known and persistent names