[Gretl-devel] pasting data into gretl