Make master the release branch in dist.ini