sci-mathematics/agda-executable: Switch to the git repository

Package-Manager: portage-2.2.14