first commit
Create README.md
Adding skip.rapc and skip.preverify flags.
Changing skip.* to *.skip
Resetting source directory to point to preprocessed files. Needed for Clover.