now using docopt instead of getopt