hg2git.py: Map 'HEAD', 'default' and '' hg branches to 'master' in git