Added options to disable debie and heli benchmarks
Prevent platin tests running in parallel if aiT is used to avoid aiT speed issues on (some) machines
do not analyse duff, since non-natural loops are not supported by platin
Fixed check for a3 if A3_EXECUTABLE is not explicitly given (for new cmake?), cleaned up some warnings