Update Coq and CI versions (#336) #15

Job	Run time
Coq integration tests (8.4, 3.6)	1m 14s
Coq integration tests (8.5, 3.6)	1m 18s
Coq integration tests (8.6, 3.6)	1m 0s
Coq integration tests (8.7, 3.6)	1m 0s
Coq integration tests (8.8, 3.6)	11s
Coq integration tests (8.9, 3.6)	12s
Coq integration tests (8.10, 3.6)	1m 25s
Coq integration tests (8.11, 3.6)	1m 22s
Coq integration tests (8.12, 3.6)	1m 22s
Coq integration tests (8.13, 3.6)	1m 20s
Coq integration tests (8.14, 3.6)	1m 26s
Coq integration tests (8.15, 3.6)	1m 27s
Coq integration tests (8.16, 3.6)	1m 27s
Coq integration tests (8.17, 3.6)	1m 24s
Coq integration tests (8.18, 3.6)	1m 25s
Coq integration tests (8.19, 3.6)	1m 30s
Coq integration tests (master, 3.6)	12s
	19m 15s

Provide feedback