gen-price-list.py: add --currency option