README.developer: Updated the git instructions for committing patches to upstream

The old sections still referred to "master" branch, but should be "develop" now.