Add a Git pre-push hook to Makefile
In order to avoid pushing incomplete commits, it would be advisable for all frequent contributors to use the same Git pre-push commit hook. To make this easier, we should create a shared script with the following steps:
make lint update_feature_flags_docs
We should also create a setup-pre-push-check
target to do the initial setup for the contributor.