import lua 5.1.5

Even if it is not lua 5.2 it might be usefull to update to the latest lua 5.1 release.