[creduce-dev] Update to CMake-Based Build System

[Eric Eide <eeide@cs.utah.edu>]

I have pushed an update to C-Reduce's CMake-based build system.

If you are a CMake user, please try out the new CMake-based system and let me
know if/how it works for you.  I have tested it on a few platforms ---

  * Ubuntu 14.04 with CMake 2.8
  * OS X 10.10.5 with CMake 3.5.2

--- and "it works for me."

See the end of the `INSTALL` file for basic instructions about using the
CMake-based build system.

Thanks ---

Eric.

-- 
-------------------------------------------------------------------------------
Eric Eide <eeide@cs.utah.edu>  .         University of Utah School of Computing
http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX