Minor cleanups, add .gitignore.