dev-lang/idris: bump up to 0.9.6.1

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