Move away from travis

Travis is getting excessively slow as a move to get people to
move to a paying plan instead of the free one for OS projects.
We should really consider moving to github actions (even though
a high latency is not exactly a massive problem for this application
of ours! :smile:)