bash: teach __git_ps1 about REVERT_HEAD