Add files for Nix, update to latest lens version