add comment to README about cleaning with git
moved lemmas about paths and total spaces to Foundations, adapted in RC and Kt
one more lemma to hProp.v
Merge pull request #60 from benediktahrens/git-readme

add comment to README about cleaning with git
Merge pull request #62 from benediktahrens/lemmas-to-Foundations

moved lemmas about paths and total spaces to Foundations, adapt RC and Kt