[Gretl-devel] Allow shell commands in gretl-git, linux server with out using the GUI