Fixed typo in feature description
Added test for compression of execution traces
Added test for compressed log files of ConcolicForkTracer