Replace travis ci with github actions

[anbraten]

https://travis-ci.org/ discontinued: Since June 15th, 2021, the building on http://www.travis-ci.org/ is ceased. Please use http://www.travis-ci.com/ from now on.

Instead add pipeline for Github actions.