Revert "If no list to files to include is provided, include all files."
Revert "If no list to files to include is provided, include all files."

This reverts commit d65077d411952da9b61224a9583ce8feb54ba869.

Design decision: Every tool should specify which files are needed,
thus, this general solution to include all files is a bad idea.

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