Remove tool-info module for evolcheck, it is not usable without a special wrapper script anyway that was only available in CPAchecker's repository.
Remove tool-info module for evolcheck,
it is not usable without a special wrapper script anyway
that was only available in CPAchecker's repository.

martin-neuhaeusser/benchexec,dbeyer/benchexec,ultimate-pa/benchexec,sosy-lab/benchexec,IljaZakharov/benchexec,dbeyer/benchexec,dbeyer/benchexec,martin-neuhaeusser/benchexec,martin-neuhaeusser/benchexec,sosy-lab/benchexec,IljaZakharov/benchexec,sosy-lab/benchexec,sosy-lab/benchexec,dbeyer/benchexec,martin-neuhaeusser/benchexec,IljaZakharov/benchexec,ultimate-pa/benchexec,sosy-lab/benchexec,ultimate-pa/benchexec,sosy-lab/benchexec,ultimate-pa/benchexec,IljaZakharov/benchexec,ultimate-pa/benchexec,ultimate-pa/benchexec