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

Job	Run time
extract-header-only	2m 50s
extract	2m 41s
diff	5s
build (macos-latest)	4m 37s
build (ubuntu-latest)	21m 12s
build (windows-latest)	2m 20s
diff-header-only	4s
build-header-only (macos-latest)	19s
build-header-only (ubuntu-latest)	24s
build-header-only (windows-latest)	1m 30s
	36m 2s

Provide feedback