sci-mathematics/agda: update live ebuild to point to git tree

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>