Improved the benchmarking logic: best version of SLX is not automatically detected before benchmarking and benchmark works even if SLX doesn't exist or ODEMx couldn't successfully be compiled.

Implemented the Ferry and Dining Philosopher examples as well as benchmarks. Added Select and Control expressions to the library.

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.