Integration of Libnormaliz in CoCoALib and CoCoA 5