add archive (includes the smt-api jar)
add new tests for the parsing of events
correction of Chor expressions in tests
correction of paths in tests