Adding git pre-commit hook, which does `php --lint`.