Switch to different Git workflow

Up to now all development happened on the `dev` branch whereas `master` was
always 'deployable'. Releasing a new version included merging it into `master`,
tagging it there and then returning back. From now on everything will
just happen on the master branch with stable releases marked by git tags.
This significantly reduces the overhead involved in releasing new versions.