More code cleanup.  Comment additions.  Buttons changed for invariants tab.
Switched GWTGraph to use a list of weighted transitions in place of the previous
method which was to get a set of adjacent partition nodes.
Added weighted edges to GWT Graph.

Added a GWTTriplet class so the GWTGraph class could support weighted edges.

Added a GWTInvariants class to make a more expandable client-side invariant
counterpart.
Code cleanup.  Comments added.
Broken invariant removal buttons fixed.
Added log/args for an example based on /var/log/secure.log from the FSE tools paper. Added Seattle nodemanager log processing args.
added hgignore to ignore compiled class files, and other auto-generated files
moved releases readme from old repo
Removed cached gwt-servlet jar (already in lib/) and added sh file to run synoptic from generated jar.
added synoptic.jar to ignore
Initial work on progress wheel, PO log tests for bug, and a few other things.
merge with r273
Merged e37eea88f33e and 1b01ddaf92fb
Merged into tip.
Updated to two buttons, without the Download button.
Fixed a bug to do with asynchronous exporting.
GWT Graph now has truncated weights on the edges (to three decimals)
Preparing files for merge
Resolved (hopefully all) merging conflicts.
Added missing files.
merge with tip