Interactive, pure-shell menu for switching between git branches