sci-mathematics/agda: added new depends into live eubild (noticed by w0rm)

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