Remove a needless file

Because run-main.bat was replaced by recipe.bat.