more command-line options for generate_scripts.py