Tab indentation in lua5.1.5.min.js