Initial commit
Add Makefile & cuter.erl

Create a configure script and a Makefile.
Add a template cuter.erl with a header file (cuter_macros.hrl).
Add eunit testsuite for cuter.erl
Temporary add hardcoded path to mech ebin
Add cerl parsing & compiling module

Compile a module's source code to Core Erlang (AST Representation).
Also add unit tests.
Add a codeserver module

A gen_server to act as a Core Erlang codeserver.
Also add unit tests.
Add a monitor server module /w tests
Add an interpreter server module /w simple tests

Also add sample modules for
cuter_eval & cuter_symbolic
Use meck for unit tests
Add the Core Erlang interpreter /w tests
Concolic evaluation of Core Erlang
Add the logger module

Currently no tests are available for this
module as it is quite simple
Add the JSON Encoder/Decoder /w tests

* Encode and Decode Erlang terms to
binary JSON strings
* Used for logging & communicating over a port
Update cuter to instrument a concolic execution

* Add pretty printing of the result
* Fix bugs in cuter_eval /w tests
* Clean up created files before exiting
Add a scheduler to instrument all the components

* Add stub module for interaction with Z3Py
Replace stub module for interaction with Z3Py

* Add the python interace
Log more data

* Properly log process spawning
  and message passing
* Extend JSON to encode PIDs & Refs
* Log the first interpreter process
Decode a JSON encoded command /w tests.

Also refactor reading from log file.
Log the actual consuming of a message

Also log a message when it actually
matches a clause and is consumed.
Consinstently create the folders needed

* Rely on erlang functions to create the names
and the actual folders
* Add optional argument to cuter for using a user
defined working directory
Merge the multiple traces of an execution into one

Alos refine some types
More comments & reorder code

for cuter_solver module