Delete the master branch

This branch was phased out. Next step is to remove it from GitLab after a while, giving time to people update their refs.