Remove tab characters in download messages
Update CHANGES (pin defaults to git when available)
Workaround some solver scripts: run check with closed stdin
Merge pull request #1586 from OCamlPro/fix-solver-script-check

Workaround some solver scripts: run check with closed stdin