Rename ass3/optional/prove-exn.ml to prove-exn.ml