Hacl: do not promote runtime-generated.js
Context
This MR removes the file src/lib_hacl/runtime-generated.js
as, like its name suggest, it is regenerated by the build system and the output might be different depending on the system.
Related to !6181 (merged).
Manually testing the MR
dune build src/lib_hacl/runtime-generated.js
Edited by Alain Mebsout