Add a few files created by "make verify" to .gitignore.
Merge remote-tracking branch 'origin/patches-2.0'