Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2006-01-19 14:03:05 -0800 (Thu, 19 Jan 2006)
Revision: 8518
Log message:

      Reconfigure MetaPRL to allow an installable version.
      Mostly finished, but see the notes below.
      
      To do it:
         - Run "omake install"
           This installs a binary version of MetaPRL into
           <installdir>, which is currently metaprl/export.
      
         - In your private directory,
           1. Link/copy <installdir>/mk/OMakeroot
           2. Copy mpconfig
           3. Create an OMakefile with a line
              THEORIES = <names>
           Now you can run omake and it will produce an
           executable called "mp".
      
      NOTES:
         - It is uglier than it should be, mainly because of
           special-casing for theories/meta/base.  This should
           be discussed, find a better solution.
           
         - The location of the <installdir> should be configurable
           in mk/config.
      
         - The initial private user setup should be scripted.