Squash of the following commits:
WIP: Build workflow on all branches
WIP: Reduce noise from wget
WIP: Don't use bash-style redirects
WIP: Use variables for Boost url and checksum
WIP: Manually set a Wine prefix
The user that's executing the job does not own the home directory for
some reason.
WIP: Fix typos in workflow
WIP: Don't use bash-style brace expansion
This is run under dash.
WIP: Fix archive name for Ubuntu 20.04 build
WIP: Fetch tags for git-describe
WIP: Fetch all git history for git-describe
WIP :Rename the workflow
Since this is what will appear on the status badge.