Update developer docs

Specifically about `master` being the new default branch and releases getting dedicated branches. Avoid situations like #152. I can't currently delete the dev branch because of #108.