use docopt