bash prompt: use bash builtins to find out current branch