Make upload of release artifacts automatic

[cschreib]

Currently, GitHub actions produce the header-only and compiled builds, for inclusion in the releases. But the upload of release artifacts is a manual process, which can be done wrong, or (as it happened for the last couple releases) forgotten. There is probably a way to get a GitHub action to upload the artifacts to the corresponding release.