Added the execution result (*.sysout) and the Frama-C value analysis
result (*.framac).