Show actual Frama-C (CIL) failures
Published in build:
At the moment Klever show the same error when Frama-C (CIL) fails, it just says that it fails. Then users need to analyze logs, but there may be no logs at all. We need to support something like with showing CIF errors.