8.8.2

Closed Sep 28, 2018 100% complete

Should only contain bug fixes, documentation and infrastructure updates. @coqbot: backport to v8.8 (request inclusion column: https://github.com/coq/coq/projects/19#column-2410291; backported column: https://github.com/coq/coq/projects/19#column-2960008)