Remove obsolete .svn folder in core.
Merge branch 'master' of https://github.com/PrincetonUniversity/compcomp
Add .coq file from CompCert.
Remove duplicate versions semantics record/classes.