fix bug in expansion of $PATH
use shipped lua 5.1.4 headers and libs
ship lua 5.1.4 in the splay deamon repo, to facilitate tests with next lua releases