sci-mathematics/agda-stdlib-9999: switch to github repo

Package-Manager: portage-2.2.8-r1