Fetch gap release data from GitHub rather than gap-system.org#72

fingolfin merged 1 commit intogap-actions:maingap-actions/setup-gap:mainfrom

Joseph-Edwards:use-github-hosted-release-dataJoseph-Edwards/setup-gap:use-github-hosted-release-dataCopy head branch name to clipboard