Update and rename main.ml to run.ml