Fixed error in postcondition of replace_cover_member(iterator...).
Merge branch 'master' of ssh://giantrat/data/git/SheafSystem
Enforcing cmake policy 0022 to old behavior.
Updated code to be 2.8.12 compliant. Forced minimum cmake version to 2.8.12.