Updated README.
Added preliminary support for generating the causality graph/trace.