v1.9.0

Changes done in the release:

• default timeout is set to 300s
• reduction properly kills all processes when a timeout is reached
• test-case is preserved when a timeout is reached
• timestamps are fixed for durations longer than 24 hours