Another bunch of commits

Major highlights:
* configuration in HTML
* improved ScenarioCleanupStage: with thread leaks fixed, we should recover more memory