Use JVMEnvDynFrameDomain in the GUI
Fix an unreachable code error
Change Soot analysis to use Blocks instead of Units.
Implement large basic blocks in JimpleMethod.
Reorganize BigBlockGraph class and derivatives.
The Soot analysis now compute and output the result of a method.

This also fixes the Soot test suite.
Put FileChooser's in readOnly mode.

The standard read/write mode is annoying since it is easy to activate
the rename file functionality.
Fix handling of defaults in GUI
Test for the BriefBigBlockGraph class.