Properly remove lua-term submodule

git rm does not do the whole job...