sci-mathematics/agda: bump up to 2.4.0

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