Add Github build and release actions

[mchubby]

To automatically create a release, add a tag to the latest commit of your local Git repo, then push it to Github.

Then, view the corresponding job in the ▶ Actions tab.