Remove the Foundations files

The README.md file explains where to get a version of the Foundation files of
Voevodsky that will install them in the user-contrib directory of coq, where
coq can find them.