CoCoALib and CoCoA-5