Added FlowLayoutPanel, a new gwt dependency.
Refactored synoptic options, fixed up invarimint options processing dependencies, and lots of refactoring.
Fixed issue 225
Remnant of issue 225
Closing InvDFAMinimization branch. Moving to InvariMint branch.
Created InvariMint branch.
Bugs removed and logic for node highlighting has been cleaned up.  State invariants commented.
graphhandler.js has been removed.
Moved approptiate code into ModelGraphic.  Fixed some small bugs with model state.  Removed JS file from Synoptic.jsp
Added abp trace with distinct recv_m0 and recv_m1.
Cleaned up slaml11 benchmarking traces.
Updated .hgignore and added .project for InvariMint.
Added a finalize method to close DerbyDB.
Added a test for DerbyDB. Extended AppConfigurationTests.java to check DerbyDB fields on null context.
Minor modifications to Derby test class.
Figured out what/how to write to result field except for synoptictime in ParseLogAction table.
Changed how AppConfiguration handles opening Derby db.
Updated gen_traces to use imported simulator, refactored simulator. Made simulator work with a single process.
minor nits.
Merged initial 208 work into default, along with other orthogonal changes in Issue208 branch.