Added compatibility to old Map2check version
Added compatibility to old Map2check version

This tool-info can handle newer versions of Map2Check, but is compatible even with the older versions of Map2Check.
sosy-lab/benchexec,sosy-lab/benchexec,IljaZakharov/benchexec,sosy-lab/benchexec,martin-neuhaeusser/benchexec,ultimate-pa/benchexec,dbeyer/benchexec,IljaZakharov/benchexec,martin-neuhaeusser/benchexec,dbeyer/benchexec,sosy-lab/benchexec,ultimate-pa/benchexec,IljaZakharov/benchexec,ultimate-pa/benchexec,martin-neuhaeusser/benchexec,sosy-lab/benchexec,ultimate-pa/benchexec,IljaZakharov/benchexec,ultimate-pa/benchexec,ultimate-pa/benchexec,dbeyer/benchexec,dbeyer/benchexec,sosy-lab/benchexec,martin-neuhaeusser/benchexec