adding a prune-local command to git
seems it's not possible to define a git alias with shell redirection, so we create a git-prune-local command instead