- Add a script to remove merged branches from the branch display.
- doc the new git-rm-merged-branches command.