This adds automatic builds via Github Actions. A new release will be
created when a new commit is pushed to the "master" branch. The
description for the release will be taken from the latest commit, in the
case of a merged pull request that will be the merge commit.
To add new boards for building, extend the arrays in the build.sh script.
To start, I included all boards from `supported_boards.md`.