Patch to procedures.txt describing how to run the test suite

[Sam Hartman]

This text looks good.  However I'd recommend putting it in the build
texinfo docs rather than procedures.txt.

--Sam