Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2006-01-23 20:35:59 -0800 (Mon, 23 Jan 2006)
Revision: 8584
Log message:

      Include .test-metaprl-startup on "omake install".
      
      Added code to check reduce annotations for progress.
      Amazingly, the only rewrite that does not pass the test
      is Itt_hoas_relax.squash_bdepth_mk_terms.  Perhaps my
      test is too relaxed.