Fix various typos in messages, add .gitignore file for
automatically produced intermediate files.