added `strip_names` to docopt (suggestion of @eddelbuettel).
Note docopt now has a different default!