Git synchronizers: run git gc every once in a while

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>