Prune repo for deleted branches cleanup

Right now if I make a new branch on remote server (github) it would appear on my redmine repo mirror. If then I delete that branch it would still remain there. Git has a `remote prune` command to make such cleanup.

BTW it would be usefull to have a couple of words in README that redmine local repos should be cloned with `--mirror` argument (not `--bare`).