Seems like the performance issues docopt had (#46, https://github.com/docopt/docopt.rs/issues/195) are fixed. Should we restore it?