update bundled docopt (mainly for the improved comment at the top of the file)