[skip ci] Update the release procedure

Author: Bryant Mairs

RELEASE_PROCEDURE.md

@@ -33,8 +33,8 @@ The release is prepared as follows:
 After the release make a pull request with the following changes:
 
 - Add a new Unreleased section header to `CHANGELOG.md`.
-- In `Cargo.toml`, update the version to the nextversion, e.g.
-  `v0.8.4`.
+- In `Cargo.toml`, update the version incrementing the patch version and marking
+  it as a pre-release, e.g.  `v0.8.4-pre`.
 - In `Cargo.toml`, revert the libc dependency to its git master branch.
-- Make a commit of the above changes with a message like "[skip ci] Bump to v0.8.4"
+- Make a commit of the above changes with a message like "[skip ci] Bump to v0.8.4-pre"
   - This skips continuous integration testing on the build bots and Travis CI