CMake: improvements for 32bit and MSVC 64bits
CMake: improvements for 32bit and MSVC 64bits

mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star