Automatically run 'git gc' after every N pushes

There are some other issues for this I think but I cannot find them.

We currently have a 'housekeeping' button in the project settings page that triggers 'git gc'. As suggested by others elsewhere I think we should automate this.

cc @JobV @dblessing @jnijhof