SAT: Print git commit hash when running SAT

[sherifnada]

Tell us about the problem you're trying to solve

When accepting contributions we want a way to know which commit a particular run of SAT ran on so we can accept community conributions whose CI we can't run directly. Example is #4358

Describe the solution you’d like

print the repo's git commit hash when running SAT