Moving lua files to tex/