Include git commit ID in the program and output it with the result
-rw-r--r-- 9 .gitignore
-rw-r--r-- 184 Makefile
-rwxr-xr-x 1558 benchcompare.py
-rw-r--r-- 14004 main.c
-rw-r--r-- 1368 synthetic.bench