Add a few files created by "make verify" to .gitignore.