gitcmd.sh: prune contrib on pull

Prune any repositories which have "contrib" remotes when performing a "pull".
This is just some janitorial maintenance to keep the repositories clean.

Signed-off-by: Trevor Woerner <twoerner@gmail.com>