Small tweaks to README and .gitignore.