Support to fetch with the prune option.

Hello Jakob,

I added a option to git fetch with the prune option. Could you merge this?

Thanks, Yuji