version bump for docopt, travis rustc fix