spec12:
spec12:
spec12: update README.md
spec12: add run-main.bat
spec13: support outputting CSV format
Fix wrong configurations in .gitignore...