Update and rename main.ml to SHRIMP.ml