GitHub Actions workflow for development builds

The goal is to provide easy-to-get development builds from every push (not every commit) to git.

I don't have rights over the GitHub repo so some trial-and-failure may be required to get it to work. (But it should work as is.)