Command-line tool to delete merged Git branches
