Ignore files that should not be committed

The Readme explicitly warns against committing config.properties. Adding
it to .gitignore helps people abide by that rule.