Add missing mli for alcotest.ml