math/cocoalib: create port
CoCoALib is a C++ library for Computations in Commutative Algebra,
focused mainly on polynomial rings, ideals, Groebner basis and
similar topics.
WWW: http://cocoa.dima.unige.it
PR: 231807
Submitted by: Lorenzo Salvadore <phascolarctos@protonmail.ch>