Fix the build.

After an upstream fix in docopt, cargo now builds on rust HEAD. Also,
move to the semver crate rather than the deprecated built-in one.
Merge remote-tracking branch 'steve/fix_build' into here-we-go
Don't tromp over too many files when downloading the snapshot