sci-mathematics/agda: upstream allows hashtables-1.2

Signed-off-by: Sergei Trofimovich <siarheit@google.com>