use Coq 8.15.1, and enable flambda

2 jobs for master in 28 minutes and 23 seconds (queued for 2 seconds)