Proposal: Add Zipper practice exercise to the Lean track

Hi everyone,

I’d like to propose adding the Zipper practice exercise to the Lean track, as described in issue #157.

The exercise data is available in problem-specifications. I’m ready to implement the exercise along with the required test generator following the track’s contribution guidelines.

Looking forward to your feedback before I start working on a PR.

Thanks!