Initial commit
Initial commit (of CREST 0.1 code).
Adds instrumented GNU grep 2.2 benchmark.
Adds two missing #include's (in yices_solver.cc and process_cfg.cc).

Also fixes the order of the #include's in concolic_search.cc.
Fixes instrumentation bug for functions returning structures (by value).
Adds test case highlighting CREST's failure to catch structure copy operations.
Adds empty lib/ and include/ directories needed by CREST Makefile.
Remove CIL 1.3.6 from CREST.
Adds CIL 1.3.7 to CREST.
Adds back --doCrestInstrument option to CIL 1.3.7.
Adds clean copy of Vim 5.7 source as CREST benchmark.
Adds run-time files for Vim 5.7 benchmark.
Adds test showing CREST's failure to handle symbolic array dereferences.
Adds test showing CREST's failure to handle shifts and casts.
Adds missing <stdio.h> includes.

Thanks to Derrick Coetzee at UC Berkeley for this patch.
Adds usage message and better error handling to run_crest.

Thanks to Derrick Coetzee at UC Berkeley for this patch.
Tells CREST to skip instrumenting several low-level Vim 5.7 functions.

CREST currently cannot handle programs where instrumented code calls
into uninstrumented code which then calls back into instrumented code.

In term.c, function out_char_nf is passed via a function pointer into
uninstrumented function tputs.  Thus, we have to tell CREST to skip
instrumenting out_char_nf and every function it calls:

  out_char_nf
    --> out_flush
      --> ui_write
        --> mch_write
          --> RealWaitForChar
Makes Vim use its custom memmove instead of the uninstrumented system memmove.
Replaces Vim 5.7 input from script files with symbolic characters.

Adds target "crest" to Vim 5.7 makefile for building instrumented version.
Fix function definition in regexp.c that CIL could not parse.