Travis : added ppa for premake4