Intratrace deps with TDD. Currently a problem with Z3-str prevents it working...
Intratrace tests pass.
Using our substring mechanisms instead of Z3 based ones.
Fixed warnings.
Tracefile JSON parser.
Travis dependencies script.
Travis wget retry fix.
Travis mix path fix.
Intratrace Dependency Set generation and tests.
Using dot syntax for maps.
Using just pence in sample vending machine traces.
Basic expressions - equality, comparison, assignment plus tests.
not equal expression and tests.
Expression pretty printing.
Added arithmetic.