sci-mathematics/agda: drop old ebuilds, update -9999 to contain fixes

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