Copy some data structures before passing them to the tool-info module to prevent accidental modification.
Copy some data structures before passing them to the tool-info module
to prevent accidental modification.

This is just a partial fix because in other cases we still pass (huge)
lists that we don't want to copy all the time.
Would be nice if Python hat frozenlist and frozendict
(tuple is not an option if code expects a list).

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