Fixed travis

The old ppa we used apparently got removed.