Restructured some of the files in order to implement additional examples, implemented the car ferry scenario and added the ability to wait for the termination of two competing futures, enabling timeouts.

Simplified some function signatures for clarity and improved the StateEventWaker for a shorter simulation() function body.