docopt for our CLI interfaces