Changed S2E base instructions to header file
AnnotationMemoryInterceptor:concolic: fixed check for symbolic constraint
ConcolicValues: added test for register contents after concolic value is overwritten
Updated gitignore: ignore .o files
ConcolicValues: Fix testcase to print constraints in the end
ConcolicForkTracerPlugin: added test
plugin-identifymemoryregions: Adjusted feature to changed output
ReplayMemoryAccesses: Replay only certain ranges, not all memory accesses