Fix .gitignore to not ignore maven.properties