translator.py: add --help