Disable Travis builds?

[Thomas Heigl]

Hi,

Given that our Travis builds aren't working anymore, should we delete the
travis.yml files?

It is annoying that all builds show up as failed on Github because the
Travis status check is failing.

Thomas