Improve tool-info module of frama-c-sv
Improve tool-info module of frama-c-sv

This adds the following improvements for frama-c-sv:

- We want to just return unknown and not the last line
in the tool output in case the tool process ended before
the final line with the result is printed
- We want to be able to pass options to the tool via
  the benchmark definition xml

sosy-lab/benchexec,ultimate-pa/benchexec,sosy-lab/benchexec,ultimate-pa/benchexec,sosy-lab/benchexec,ultimate-pa/benchexec,sosy-lab/benchexec,sosy-lab/benchexec,sosy-lab/benchexec,ultimate-pa/benchexec,ultimate-pa/benchexec,ultimate-pa/benchexec