Revert renaming of main.ml into cilly.ml