fixup: positive emedding verbose
cmake: remove doppel out
move check_integrally_closed from Full_Cone to Cone
Introduce OriginalMonoidGenerator

Fixes isIntegrallyClosed check.