Is lua-5.1.5 needed?

[fingolfin]

The repository contains lua-5.1.5 inside the ext dir. Is this actually used?

[fingolfin]

@rbehrends Any comment on this?

[rbehrends]

It is the backup solution for when we're dealing with a platform that doesn't support LuaJIT (such as cygwin under certain circumstances).