natools-gnat_hmac-*: new packages instances of Natools.HMAC with NAT-provided hash functions