Reorganize the files into two subdirectories

This will make it possible for the Rezk Completion files to be used with
another version of the Foundations files of Voevodsky.  (The problem is that
coq doesn't like to find a file such as 'uuu.v' occurring twice in directories
of the search path.)  The advantages are: that a developer of the Foundations
files can easily verify that the Rezk Completion proof continues works; and
that a developer of a subsequent proof can incorporate all of the Foundations
files as well as the Rezk Completion proof.

Comments have been inserted into the file 'Make' to illustrate an alternative
usage.
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.
restore Foundations' subdirectory structure
restore original flat directory structure (no subdirectories)
Merge pull request #1 from DanGrayson/master

Remove the Foundations files