Git extension for the bash prompt