Changed PPA for Travis-CI

This is first step to fix your problem with Travis-CI, I think. :)