dev-lang/idris: allow lens-4.6

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