[Gretl-devel] CVS version numbering