revert references from Corelib to Coq, simplify build#1620

hoheinzollern wants to merge 1 commit intomath-comp:mastermath-comp/analysis:masterfrom

hoheinzollern:stdlibhoheinzollern/analysis:stdlibCopy head branch name to clipboard