new packages: dph-*

From #ghc:
> < slyfox> 'make install' does not install dph, does it?
> < slyfox> it seems to be buildable by stage2
> < thoughtpolice> slyfox: no, it doesn't. dph is only installed if you set InstallExtraPackages=YES
> < slyfox> thoughtpolice: oh, thanks!
> < slyfox> (gentoo had dph flag for git builds, but dph stopped installing there)
> < thoughtpolice> the dph in HEAD is out of sync with upstream anyway i think
> < thoughtpolice> dunno if you want to offer it, InstallExtraPackages gives you random/primitive/vector/dph, which all technically have their own upstreams
> < slyfox> aha
> < slyfox> so we'd better package those separately
> < thoughtpolice> right
> < slyfox> (we already do for the first 3)
> < thoughtpolice> we just keep them around for perf/regression tests
> < thoughtpolice> (hence, not installed by default)
> < slyfox> *nod*, now makes sense

Thus i've pulled those separately (most require ghc-7.6+)

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
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