make our git script OSX compatible
Merge branch 'paired' of github.com:beaumontlab/antonie into paired
Merge branch 'master' of github.com:beaumontlab/antonie

Conflicts:
	update-git-hash-if-necessary
Merge branch 'master' of github.com:beaumontlab/antonie
move static flags to sysdeps
add -MP to -MMD so we also detect deletion of a .h file
Merge branch 'master' of github.com:beaumontlab/antonie