Update package build and installation instructions.

Do a few related tweaks to the package AUTHORS and TODO, too.

Author: eeide

AUTHORS

@@ -1,6 +1,8 @@
 -*- mode: Text -*-
 
-C-Reduce was written by Yang Chen and John Regehr at the University of Utah.
+C-Reduce was written by Yang Chen, Eric Eide, and John Regehr at the
+University of Utah.
 
   Yang Chen <[email protected]>
+  Eric Eide <[email protected]>
   John Regehr <[email protected]>

INSTALL

@@ -10,7 +10,7 @@ Prereqs:
 On Ubuntu, all non-standard prerequisites can be installed like this:
 
   sudo apt-get install libfile-which-perl libregexp-common-perl \
-  indent astyle delta libexporter-lite-perl
+    indent astyle delta libexporter-lite-perl
 
 On other systems, install these packages either manually or using the
 package manager:
@@ -29,35 +29,44 @@ Perl modules
   File::Which
   Regexp::Common
 
-for example (perhaps as root):
+For example, (perhaps as root):
 
   cpan -i 'Exporter::Lite'
   cpan -i 'File::Which'
   cpan -i 'Regexp::Common'
 
 --------------------------------------------------------------------
-Building and installing the clang_delta plugin
+Building and installing C-Reduce and the clang_delta plugin
 
 1. Download, build, and install the latest LLVM/Clang from their
 repository:
 
   http://llvm.org/docs/GettingStarted.html#checkout
 
-[Note: If you're having trouble with their trunk, you can use
+Note: If you're having trouble with their trunk, you can use
 LLVM/Clang 3.0 instead, but in that case you'll have to grab an older
-C-Reduce tagged "creduce-1.0.0".]
+C-Reduce tagged "creduce-1.0.0".
 
-2. Build the plugin:
+2. Build the C-Reduce software distribution:
 
-  cd clang_delta
-  export LLVM_PATH=PATH_TO_CLANG_INSTALLATION
+  # cd to where you want to build the package, then:
+  configure
   make
-  cp clang_delta SOME_DIRECTORY_IN_PATH
+  make install
 
-Note that assertions are enabled by default. To disable assertions,
-build the program with:
+The `configure' script was generated by GNU Autoconf, and therefore
+accepts the usual options for naming the installation directories,
+choosing the compilers you want to use, and so on.  `configure --help'
+summarizes the command-line options.
 
-  DISABLE_TRANS_ASSERT=1 make
+If LLVM/Clang is not in your search path, you can tell the `configure'
+script where to find LLVM/Clang:
 
---------------------------------------------------------------------
+  # Use the LLVM/Clang tree rooted at /opt/llvm
+  configure --with-llvm=/opt/llvm
+
+Note that assertions are disabled by default.  To enable assertions:
 
+  configure --enable-trans-assert
+
+--------------------------------------------------------------------

TODO

@@ -1,3 +1,5 @@
+-*- mode: Text -*-
+
 --------------------------------------------------------------------
 
 C-Reduce TODO list: