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
Merge remote-tracking branch 'upstream/master' into overhaul

Conflicts:
	UniMath/Foundations/Generalities/uu0a.v