Add support for multiple OTP's

Benchmarks and applications can not only be executed, but also compiled with different OTP's.