Take #reset pragmas into account + adapt to the new RdbgPlugin.t 1.177 api

(that now have a reset field)
2 jobs for master in 8 minutes and 35 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #32866
build

00:04:10

 
  Test
passed #32867
test_opam_test

00:04:25