ci: drop travis config

Problem: Travis is no longer offering the same CI service
to open source projects that it once did, and most projects
have migrated to github workflows.

Drop travis config now that we have a rudimentary github
workflow set up.

Fixes #38