add a Makefile
update .gitignore
remove emacs local variable sections from all files

... because they contain settings that might be wrong for other uses, and
since they aren't file specific, could be in ~/.emacs
remove all "Add Rec LoadPath" commands from the source files
improve the Makefile
Reorganize to work will with coq_makefile

Now the *.v files are all in the subdirectory Foundations, and "make install"
will install them in the directory user-contrib/Foundations inside the
currently running coqc distribution tree.

Instead of using coq_makefile to make the file "Makefile", we use it to make
the file "Make.makefile".  That way we have a Makefile we can edit manually,
which is convenient, for example, for making a TAGS file.
fix the Makefile
update .gitignore
restore Vladimir's subdirectory structure
make TAGS not get made by default, because some people may not
have etags installed
remove an obsolete comment
merge
fully qualify all library names
add loadpath commands for interactive "Foundations" access

Now that we are using fully qualified library names, such as
Foundations.Generalities.uu0, we have to arrange for coqtop to work, especially
when run by Proof General.  One way would be to give it "-R . Foundations" as
command line options.  But Proof General has a strange sort of bug that causes
it to loop forever when starting up coq after you evaluate

     (setq coq-prog-args '("-emacs" "-R" "." "Foo"))

.  The best solution seems to be to add lines

      Add LoadPath ".." as Foundations.

to our *.v source files, which we do in this commit.
comment out the recently added lines  Add LoadPath ".." as Foundations

The reason is that the path is relative, but not relative to the directory
containing the source file, but rather, relative to the current working
directory of the compiler.  This can cause confusion if a sibling to the top
level directory of this repository happens to be called "Foundations", because
coq_makefile generates compilation commands that are run in the top level
directory.
Merge branch 'master' of github.com:vladimirias/Foundations into vv-master
don't ignore .gitignore!
Semi-final version for MSCS