getopt in grep.py