If someone wants to maintain that, feel free to do so. But as gitlab CI
is maintained and passing, and travis has been broken for a long time,
while nobody takes care of it, let's just deactivate it.