Add docs for extra::semver
auto merge of #9413 : bytbox/rust/master, r=alexcrichton