The ECLiPSe integration script and shortcut now pass the command-line option `-t user` (the name of the top level module) for a user experience more similar to other backend Prolog compilers