a more sensible, shorter, use of docopt parsing