`git subtree push` quieting

When running `git subtree push --prefix /what/ever`, the stream of "1/x 2/x 3/x....n/x" noise is not helpful.  This patch just quashes that by pushing the stderr of the `git subtree split` subcommand of cmd_push to /dev/null.