Tracing functionality added.

Implementation of tracing functionality for k.
Adds a flag to kompile(--trace) in the java backend.
This will introduce a cell that will track at runtime all the rules that are triggered.