Pretty test reports
Fix path bug in test reports.
Replacing every [Let] by ['let] as it conflicted with a Coq notation (TLC need to be updated).
Adding test info on parser unicode issue.
Cleanup old interim files.
Adding some lemmae to LibRelation (via Shared).
Adding the “--no_parasite” option to avoid unneed code from the interpreter.
Fixing a bug in the delete operator (rule part only, this does not compile yet).
Updating the interpreter.
minor editing of delete test
README: bisect is a dependency.
Merge pull request #1 from ProgVal/README-add-bisect

README: add bisect as a dependency.
Initial work on improved condor support