Initial Checkin
Merge
Always rebuild eventualities.

Before this if the tableau was "completed" in the first cycle,
We wouldn't rebuild eventualities from scratch. This caused formulas
such as '-((((XEa)U(((EXEa)U(XEa)))))<(((EXAa)U(XAa))))'
to be incorrectly reported as "satisfiable".
Add function to log/output final tableau graph
Fix excessive 'set:' logging
Fix RANDTEST, previously reported all tableaux as timeout(3)
Added JApplet.html, so now we can run "appletviewer JApplet.html"