dev-lang/idris: bump up to 0.9.7

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
dev-vcs/git-annex: bump up to 4.20130314

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