[Other] OK, use stable PPA for Travis because of Ubuntu 12.04.