bashrc: highlight git branch master in red in prompt