Ensure that all modified files in project saved to fs before CPAcheker execution
while user developing the code if he click the Cpachecker run button, local changes will not be saved to file system so a past version of the file will be processed by the CPAchecker. So we need to make sure that all the changes are saved before we run the Cpachecker.