Adjust gitignore to manage portal-config.properties files