main/cvs: upgrade to 1.12.13
This MR updates CVS to the latest feature release, applying all patches from ubuntu. This also fixes a bug on our bamboo-agents, which could not checkout anything from CVS due to an error in getcwd().
Edited by Andy Postnikov