Turns out travis-ci.org ceased building last year, and I either never
heard or had quite forgotten. I don’t care enough to sort out anything
else (I like the simple ./test script I wrote), so I’m just ditching it.

So much for the effort I put into updating this nicely today!