bash/config: run bash-git-prompt on franzi