CI: use template; test 8.5.3, 8.6 and 8.6.1

3 jobs for master in 15 minutes and 35 seconds (queued for 8 minutes and 48 seconds)
Status Job ID Name Coverage
  Test
passed #3119
fp-timing
stdpp-coq8.5.3

00:07:25

passed #3118
fp-timing
stdpp-coq8.6

00:06:48

passed #3117
fp-timing
stdpp-coq8.6.1

00:11:07