git-prompt.sh: don't put unsanitized branch names in $PS1