Update lens dependencies to include lens 4

Lens 4.1.2 is already out and the default in NixOS,
so single stepping always to the next version is a
lot of work, errorprone and high latency.