Update DEVELOPER.md

minor changes to the process of making a new release