Improve instructions for installing GiNaC from CVS.