add docopt.py