Add ocaml zipper exercise
Add test case to Haskell zipper

This tests the `up` function as well, and ensures that the user has made zippers
instances of `Eq` and `Show`.

This also fixes the type sig in the stub to match what's expected.
Merge pull request #1123 from pminten/ocaml-zipper

OCaml zipper