Merge many features

- execution time learning
- lookahead user-defined random for lookahead
- adaptive lookahead heuristics
- random quantifier for usecase coverage
Merge remote-tracking branch '01/devel' into for-devel