Whisker Version 0.5

This is a much improved version of Whisker:

• Improved deterministic test execution, even in acceleration mode
• Completely revised user interface
• Reworked and improved test generation
• Many bug fixes and improvements