delete docopt.py