Add core-dev guidance on squash merge commit messages

See python/core-workflow#27: we should amend the devguide to specify how squash merge messages should be amended from GitHub's default message for a PR.