Figure out procedures for upstreaming HACL* code quickly

[franziskuskiefer]

[karthikbhargavan]

The suggestion is that we revisit this after SHA-3 and AES32 have been merged, and work on procedures with the HACL* team.
There may be an independent push we want to make towards "Proof Packages" which will be of independent interest.