Complete the implementation of "use" directive memorization

Now the list of the modules in use is kept in the Lua side. In addition
each time an "use" statement is encountered it is automatically added to
the list.