Add --aggressive option to 'git gc'