Stable

Creating stable BRANCH.
Will be used for HoTT coq library development.