adjust run.sh so it runs all of the tests
typo in proc-docs docs.
add v.5.3.4 notes to DrRacket's HISTORY.txt