add symbiotic.py tool-info object
add symbiotic.py tool-info object

This tool-info object can handle newer versions
of Symbiotic, but is compatible even with the
older versions of Symbiotic (symbiotic4.py).

Signed-off-by: Marek Chalupa <2ec68d8033ee11c75b31c3efa204dbc26c692ff1@fi.muni.cz>

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