Add ldd info to CI system config, and gcc & ldd on win #866

Job	Run time
install (dev, Ubuntu, ubuntu-latest, 4.09.1)	44m 24s
install (dev, macOS, macos-latest, 4.14.2)	37m 28s
install (dev, Windows, windows-latest, 4.11.1, -async-proofs-j 1, opam-repository-mingw: https://...	1h 37m 49s
install (8.19.0, Ubuntu, ubuntu-latest, 4.09.1)	44m 1s
install (8.19.0, macOS, macos-latest, 4.14.2)	31m 20s
install (8.19.0, Windows, windows-latest, 4.11.1, -async-proofs-j 1, opam-repository-mingw: https...	1h 38m 28s
install (8.18.0, Ubuntu, ubuntu-latest, 4.09.1)	45m 58s
install (8.18.0, macOS, macos-latest, 4.14.2)	36m 19s
install (8.18.0, Windows, windows-latest, 4.11.1, -async-proofs-j 1, opam-repository-mingw: https...	1h 43m 25s
	8h 59m 12s

Provide feedback