Fixed travis

The old ppa we used apparently got removed.

Fixes #61.