Upgrade Lua to 5.1.5 and also add an option to be compatible with Lua Lanes

Note: We don't need patch-lua-5.1.4-3 anymore as it is included in lua 5.1.5