Implement KLEE copying ConstraintSets (and, in the future, other objects) into Shared Memory, so a different program can access them.

For this milestone, the following needs to be done:

• implementing new/added functionality to Klee that: -> copies existing ConstraintSets / Constraints into shared memory -> creates deep copies of Expr objects -> provides a new reference class, shm_ref that works in shared memory
• building the data structure that will manage the objects put into shared memory
• providing at least a simple memory management that makes sure the shared memory is always large enough
• implementing access control through a shared mutex
• implementing a simple program that can read the data in the shared memory and is able to delete written data from shared memory

For the shared memory management, the boost interprocess library will be used.