Make agda-executable-9999 EAPI=5 with subslot depend on agda-9999
Change the deps on agda-stdlib-9999: subslot depend on agda-executable-9999. Subslot depend on agda-9999 -> as the agda lib is used in the ghc command line called by agda. So it needs deps on ghc and cabal as well. While as filemanip is only used when building executables used in the build.
Upstream loosened the QuickCheck dep in agda-9999