8.8.1

Closed Jun 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-2625538).