Refactoring/restructuring of the GWT project to eliminate bloat in SynopticGWT.java.
Refactoring of GWT client-side, added comments, and solved a few bugs introduced in previous commit.
Removed generic types to GWTInvariant, initial refactoring of grid click handler.
Specialized GWTTriplet as GWTEdge.
Simplified invariant grid code.
Some refactoring and implementation of issues 99 and 100.
Merged Andrew's changes into tip.
Moved finding all traces to PartitionGraph. Added methods for finding the input traces and synthetic traces.
Merged changes.
Changed the method for getInitialLogTraces to return a Set<List<Partition>>. Also added correction to main in setting inputGraph to null.
Changed getInitialLogTracesFromCurrentPartition to use EventNode.getSuccessors("t") instead of EventNode.getDirectSuccessors
Made simple test code for partition graph.  Cleaned up
synthetic trace exporting code
Removed extraneous debugging code
Removed more extraneous test code.
Spelling errors fixed.  Partition Graph test code cleaned up.
Factored out counting to invariant type computation into separate methods. Optimized path and concurrency invariant merging.
Added simpler algorithm that does not mine \nparallel invariant. Removed path and concurrency invariant merging in favor of more optimized online filtering approach -- counting-based inv mining only.
Minor updates. More robust hash code functions in DistEventType and EventType. Updated arg in args.txt. More comments, and slight fix in ChainWalkingTOInvMiner.
Fixed online invariant subsumption bug in counting-based alg, added PO mining tests to check for inv subsumption.
Improvements to TC-based algorithm to perform online invariant subsumption computation, and some refactoring.