Update the TravisCI configuration to use the appropriate lua library name on Ubuntu 12.04 LTS.