Factored out twitter and pingpong trace generation from the main code base, and minor fixes.
Added support for wildcard trace file path
Disable path-checking and fix build (spurious import)
Optimizations / removal of pointless data structure construction
Move structural invariant inference out into a different eclipse project, and other refactoring.
reorganized dirs, moved proofs to papers repo.
reorg
Move docs writeups to papers repository
source reorg
source reorg
source reorg
source reorg
source reorg
Added runTests cmd line option, and supporting jar construction files.
Added backreference substitution to "constant" fields.  Now they would be
more logically referred to as assignable fields.  Also, I modularized this
concept of named-backreference templates, such that the same code is used
for both these fields and the partitioner regex.
Fixed trace parser to conform to new code layout, added mid_branching trace example
Fixed .classpath to use relative paths.
Fixed relative external jars with SYNOPTIC_LIB Eclipse variable, added dot executable arg, added code to print defined options.
Some documentation + cleanup
Added canonical dot file export, use with --exportCanonically option.