ci: Remove TravisCI (#648)
Since #634 and #639 we are using GitHub Actions for pushes and PRs and don't need Travis CI. Thanks for all the 🐟