git hooks: Stop running practracker constantly
This does a bit more than the ticket. After comments, the pre-commit
hook is renamed to validate-commit
and used as a validation script within pre-push
git hook.
Which means that tor.git does NOT have a pre-commit
git hook anymore. However, the validatie-commit
script can still be used as a pre commit hook if anyone wishes to.
Practracker is removed from that script.