havelist: add varlist file option to command line
Die Idee ist, dass die havelist spezifisch für eine ICON Version ist und mit ICON, nicht mit icon_variables zur Verfügung gestellt wird.
Usage: icon_variables havelist --varlist=FILE
Die Idee ist, dass die havelist spezifisch für eine ICON Version ist und mit ICON, nicht mit icon_variables zur Verfügung gestellt wird.
Usage: icon_variables havelist --varlist=FILE