added measurements
Merge branch 'master' of https://github.com/rduerig/StrategyBDD
changed evaluation method, not working at the moment
changed evaluation method - works now and is also used for debug output
packed v0.7 for testing new evaluation
fixed iterative method
packed v0.7 with fixed iterative method
merged issue18 into master