Migrate from travis-ci to GitHub actions for Linux CI

[j-ulrich]

travis-ci refuses to build without providing credit card details so we migrate to GitHub actions.

See also https://www.jeffgeerling.com/blog/2020/travis-cis-new-pricing-plan-threw-wrench-my-open-source-works