[Gretl-devel] User-level model printing command