Predicate ExecCommon::execTainted

Implementation of ExecTainted.ql. It is extracted to a QLL so that it can be excluded from ExecUnescaped.ql to avoid reporting overlapping results.

predicate execTainted(PathNode source, PathNode sink, ArgumentToExec execArg)