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.