Add support for Github workflow

[elprans]

This adds the actions necessary to perform EdgeDB builds in Github. The setup mostly mirrors the Gitlab-based flow with a couple of Github-specific actions.