Connect to travis-CI

[mojo2012]

We should think about adding a proper travis ci config and setup an account there.

[Marcono1234]

Is there still the desire to use Travis? If not, I could try creating a pull request setting up a GitHub workflow instead, see also GitHub Docs article.

cc @shannah

[mojo2012]

That would be awesome!