sci-mathematics/agda: allow transformers-0.4, backport .agdai fix from live ebuild

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