backports for 3.8.2

[Alizter]

• Use threaded console, adapt for Windows #7906
• [coq] Fix coqlib file scanning. #7895
• fix(rpc): remove threads #7418
• test(melange): demonstrate melange.emit doesn't respect -p #7849
• chore: add changelog entry for #7849 #7925
• fix(coq): pass correct flags to coqdep when building boot libs #7942
• fix: correctly print multi-line excerpts #7950

[rgrinberg]

Let's add this one as well #7418

[emillon]

@Alizter please don't edit the list. also regarding #7908, is this something that needs to delay 3.8.2 (for example a regression introduced in 3.8.1) or just a nice to have?

[Alizter]

This is a regression introduced in 3.8 which highlights two issues:

• We have an issue with (memo) cycle detection (prob not important)
• There is a cycle with coq install rules that needs to be broken. roughly

coq.install -> theory -> coqc for config -> coq.install

I would like for the second one, if we get around to fixing it, to be included in 3.8.2.

[emillon]

OK, thanks for the explanation. Let's put it this way: 3.8.2 is not blocked on this. A fix for this can be included in 3.8.2 but that will depend on the fix.

[ejgallego]

#7908 was introduced in 3.7.0 .

Indeed none of the open Coq bugs are blockers for 3.8.2, tho the above bug is kind of serious I'm afraid, but need to investigate more.