Remove pre-commit as a dependency

[fabiomadge]

I propose replacing our current setup of having the dependency pre-commit run in local mode, with a direct git hook. All the user has to do is to symlink the script into .git/hooks during the initial setup.

ln -s "$PWD/Scripts/pre-commit" .git/hooks/pre-commit

The script runs dotnet-format on the staged files and aborts the commit if the formatter changes those files. In that case, the user is encouraged to add the changes to the commit, but rerunning git commit without any changes will still work.

[robin-aws]

Thanks for the suggestion Fabio! I'm not completely sold on dropping the dependency on pre-commit with a less standard solution, especially since it won't work for any Windows contributors. I'm curious to hear @RustanLeino's opinion as I know he was using Windows until fairly recently.

[RustanLeino]

Yes, it's important that we still support building on Windows. This makes me, too, hesitant about this PR.