Function get_hax_version

pub(crate) fn get_hax_version() -> String

Gets hax version: if hax is being compiled from a dirty git repo, then this function taints the hax version with the hash of the current executable. This makes sure cargo doesn’t cache across different versions of hax, for more information see https://github.com/hacspec/hax/issues/801.