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

Job	Run time
extract	2m 43s
extract-header-only	2m 59s
diff	8s
build (macos-latest)	4m 59s
build (ubuntu-latest)	20m 15s
build (windows-latest)	2m 27s
diff-header-only	8s
build-header-only (macos-latest)	28s
build-header-only (ubuntu-latest)	27s
build-header-only (windows-latest)	1m 50s
	36m 24s

Provide feedback