Update docopt.py to the current master