bashrc: colorize git branch in PROMPT