Do GitHub release in a GitHub workflow
Do GitHub release in a GitHub workflow

This replaces the release bits from removed Travis in commit 2f113eb.

martinpitt/umockdev,martinpitt/umockdev,martinpitt/umockdev