v1.2.7

Migrate CI/release builds to GitHub Actions

* Add CI build workflow using Github Actions
* Add release build workflow on tags of format "v*"
* Delete Travis configuration