moved lemmas about paths and total spaces to Foundations, adapted in RC and Kt
one more lemma to hProp.v
Merge pull request #62 from benediktahrens/lemmas-to-Foundations

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