Consider moving `projects.pushes_since_gc` to Redis

This column is updated on every push. Given a large number of pushes for different projects this will lead to a lot of UPDATE queries on the projects table. This in turn can trigger a lot of auto-vacuuming overhead. We should see if it's possible to move this counter to Redis (and do so if this is the case).