wcet: Improve documentation on WCETTool and MethodCache analysis
wcet: Rename 'project' to 'WCETTool' to reflect the class names
wcet/IPET: Use presolver (good speedup), add support for solving the
relaxed problem
Split Cache Analysis: Start with some experiments on Method-Cache Persistence Regions,
and some cleanup / documentation
Split Cache Analysis: A few fixes to get the standalone WCET analysis working again (we are on newtools). Disable presolving if a solution vector is needed.
Merge branch 'newtools' into splitcache_analysis

Conflicts:
	java/tools/src/com/jopdesign/wcet/WCETAnalysis.java
	java/tools/src/com/jopdesign/wcet/analysis/RecursiveWcetAnalysis.java
test/wcet: Use Config.MEASURE, always print 'max: NUMBER' for the WCET (automated processing)
testsuite: Working on automated WCET regression tests again
wcet: Refactor supergraph
wcet: first idea of a segment (work in progress)
Makefile: use DFA cache by default (massive speedup when working on the WCET tool)
testsuite: WCET regression tests for linefollower, lift, kfl and 3 development tests
testsuite: Remove -O 2 from JCOPTER opts, add JCOPTER tests for StartLift
common: New utilities used in the supergraph rewrite
wcet: Introducing Segments, including a major rewrite of the supergraph datastructure. WARNING: defunct.
test: Add simple tests for segments
wcet: cleanup supergraph a little bit, replacing switch on type tag by dynamic dispatch
wcet: segment based global analysis works now for SimpleMethod3 (no loops, no cache).
wcet: [GLOBAL SEGMENT ANALYSIS] support for loop bounds and infeasible edges, lift (no cache) works
wcet: [GLOBAL SEGMENT ANALYSIS] Always-Miss Analysis implemented. Works for StartLift.