coloured git-prompt: paint detached HEAD marker in red