Small shell utility to ease finding and switching git branches