sci-mathematics/agda-9999: update live ebuild

Github-issue: https://github.com/gentoo-haskell/gentoo-haskell/pull/317
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>