KRUN: Create 'krun --debug-info'
KTEST: Revise error messages
Automatically wrap error/warning messages to the max 80 width

It's a naive implementation, and further consideration will be needed.
But I think this is a right direction.
temporary fix for equivalent sorts
Updated search to only create new states on transitions
all tests for java rewrite engine are in config.xml commented out
Updated search to only create a new state on transitional rules
KTEST: Revise the previous commit: e9319c00e09580bd8474bc1c6445a12a0ff3ef1e
Merge remote-tracking branch 'origin/master'