fairfuzz.py: Add function for treatment of REQUIRED_PATHS (copied from cpachecker.py); overwriting the function from superclass
fairfuzz.py: Add function for treatment of REQUIRED_PATHS (copied from cpachecker.py); overwriting the function from superclass

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