Revert "lua : make the lua interface to the rest of the world a separate file"

This reverts commit d667fe022f48239cb13fe331a5ae489a36f02dfc.