Back implementations of SHA2, HMAC-SHA1, HMAC-SHA2 and HKDF-SHA2 by hacl-rs #1109

Job	Run time
extract	2m 43s
extract-header-only	2m 54s
diff	4s
build (macos-latest)	5m 40s
build (ubuntu-latest)	20m 11s
build (windows-latest)	2m 56s
diff-header-only	8s
build-header-only (macos-latest)	22s
build-header-only (ubuntu-latest)	24s
build-header-only (windows-latest)	1m 9s
	36m 31s

Provide feedback