Update agda-9999.ebuild

So it doesn't conflict