Scientific notation for coverage
Merge remote-tracking branch '01/devel'
Fix push/pop thing..
AAL/Python: output guard policy loosened

Executing output actions in the model must be allowed if
their guards evaluate to True before or after executing
adapter blocks. This is already implemented for input
actions.
lookahead: optimise the number of "get inputs" per test step
AAL/Python: control flow test added, an output error fixed

The output problem allowed successful execution of an output action in
the model if it was enabled before executing previous the input in the
model.
Version 0.8.1