sci-mathematics/agda-stdlib: bump up to 0.8

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