sci-mathematics/agda: bump up to 2.4.0.2

Package-Manager: portage-2.2.10_p40