Update and rename model_checking_ltl.ml to model_checking_LTL.ml