.travis.yml: add PPA for premake4

'premake4' is not part of Ubuntu 12.04 LTS.
Install from PPA instead, URL taken from
  http://industriousone.com/premake/download