Revert "Temporarily remove a test that fails in Coq 8.6. See #108 for details."

Instead, as Ralf suggested, just comment the test out.
4 jobs for master in 12 minutes and 51 seconds (queued for 9 minutes and 57 seconds)
Status Name Job ID Coverage
  Build
passed build-coq.8.6.1 #4497
fp-timing

00:08:50

passed build-coq.8.7 #4496
fp-timing

00:03:34

 
  Deploy
passed opam #4498

00:00:13

passed reverse-deps #4499

00:00:13