[Gretl-users] new things in CVS