patmos-toolchain: use aiT only if available, check if WCET results are safe and precise (global trace facts), extend README
Add gcc.c-torture/execute test cases.