[tmp] Remove primitive floats files from stdlib

Until we port the VM for those.

[tmp] Remove primitive floats files from stdlib

Until we port the VM for those.

[wip] Multicore support, minimal support.

Coq version used in the MCoq ASE's 2019 paper

Change magic numbers.

Changelog for 8.4pl6

Remove dead code.

Follow-up on Matthieu's d030ce0.

Fix missing lift in VM and native compiler (second part of rocq-prove…

…r#2729).

Correct pl version number

Update CHANGES.