Update cuter to instrument a concolic execution

* Add pretty printing of the result
* Fix bugs in cuter_eval /w tests
* Clean up created files before exiting