add package file lists
move Ktheory *.v files into top of package
make an initial Makefile

Foundations compiles, RezkCompletion doesn't yet
removed some experimental files from RC
now it compiles

Since we don't fully qualify the module names now (e.g., we import
Foundations.hlevel2.algebra1b rather than
Foundations.Foundations.hlevel2.algebra1b, it is important to remove
older directories in user-contrib named Foundations, RezkCompletion, or
Ktheory.)
Merge pull request #1 from benediktahrens/master

removed some experimental files from RC
update makefiles