Refactor argument passing of ContainerizedTool
Refactor argument passing of ContainerizedTool

Instead of passing *args and **kwargs around,
we collect those once in a list and a dict, pass these two around,
and unpack them only at the end.

This avoids possible name clashes in the future between argument names
of the tool-info module and the proxy functions in ContainerizedTool.

Also add some documentation.

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