Update changelog #25

Job	Run time
Coq integration tests (8.4, 3.6)	42s
Coq integration tests (8.5, 3.6)	50s
Coq integration tests (8.6, 3.6)	58s
Coq integration tests (8.7, 3.6)	1m 23s
Coq integration tests (8.8, 3.6)	49s
Coq integration tests (8.9, 3.6)	1m 21s
Coq integration tests (8.10, 3.6)	59s
Coq integration tests (8.11, 3.6)	58s
Coq integration tests (8.12, 3.6)	57s
Coq integration tests (8.13, 3.6)	1m 0s
Coq integration tests (8.14, 3.6)	58s
Coq integration tests (8.15, 3.6)	1m 1s
Coq integration tests (8.16, 3.6)	57s
Coq integration tests (8.17, 3.6)	57s
Coq integration tests (8.18, 3.6)	56s
Coq integration tests (8.19, 3.6)	58s
Coq integration tests (master, 3.6)	1m 16s
	17m 0s

Provide feedback