Commit 1a8295a31671b4440b170e7fa7d3241c5563311e

Pierre Phaneuf 2014-08-13T23:17:52

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