CONTRIBUTING.md: note about personal branches of developers