docopt, since it's not in apt