sci-mathematics/agda: allow mtl-2.2

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