[Gretl-users] Open a session file from command line