Add `-d` option to `./scripts-dev/lint.sh` to lint files that have changed since the last git commit.