sci-mathematics/agda-9999: update live ebuild

Github-issue: https://github.com/gentoo-haskell/gentoo-haskell/pull/317
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
dev-haskell/hashed-storage: bump up to 0.5.11
dev-haskell/data-ordlist: new depend for darcs-9999

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
dev-haskell/hashed-storage: switch live repo to in-darcs copy, where it's maintained

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