Using docopt for getopts