sci-mathematics/agda-9999: add missing agdai interface file (reported by w0rm)

Failure to build/install .agdai at src_install here
will lead any 'agda' binary invocation
to attempt to create interface file in /usr/share/ dir.

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