[jhc] darcs patch: update version number to 0.7.5 (and 3 more)

Sun Jul 11 00:31:34 PDT 2010 John Meacham * update version number to 0.7.5 Sun Jul 11 22:16:09 PDT 2010 John Meacham * improve self-tests Tue Jul 13 20:36:13 PDT 2010 John Meacham * clean up selftest Tue Jul 13 23:43:12 PDT 2010 John Meacham * clean up some predefined names