Remove `dev` branch

[charlesfleche]

Let's keep a master branch + releases tags for simplicity. Should the need arise, we can fork a dev branch again later if required.