added version of weqimplimpl to hProp
Merge pull request #26 from benediktahrens/hprop

added version of weqimplimpl to hProp
improve INSTALL file
added 2 lemmas about inverse morphisms to precategories