Added a git-prune script that makes it easy to delete local and remote branches for the current git repository that have been merged to master.