Clean up Hacl-rs integration and add Poly1305 and ChaCha20Poly1305 #1208

Job	Run time
extract	2m 54s
extract-header-only	3m 4s
diff	5s
build (macos-latest)	4m 54s
build (ubuntu-latest)	19m 45s
build (windows-latest)	3m 14s
diff-header-only	7s
build-header-only (macos-latest)	21s
build-header-only (ubuntu-latest)	33s
build-header-only (windows-latest)	1m 44s
	36m 41s

Provide feedback