Testing that the correct flags are being passed to dune rocq top

The flags passed to coqc:
  $ dune build
  $ dune trace cat | jq 'include "dune"; rocqFlags'
  {
    "name": "rocq",
    "args": [
      "c",
      "--config"
    ]
  }
  {
    "name": "rocq",
    "args": [
      "dep",
      "-boot",
      "-R",
      "coq/theories",
      "Corelib",
      "-R",
      ".",
      "minimal",
      "-dyndep",
      "opt",
      "-vos",
      "Test.v"
    ]
  }
  {
    "name": "rocq",
    "args": [
      "compile",
      "-w",
      "-notation-overridden",
      "-w",
      "-deprecated-native-compiler-option",
      "-native-output-dir",
      ".",
      "-native-compiler",
      "on",
      "-nI",
      "rocq-runtime/kernel",
      "-nI",
      ".",
      "-boot",
      "-R",
      "coq/theories",
      "Corelib",
      "-R",
      ".",
      "minimal",
      "Test.v"
    ]
  }

The flags passed to coqtop:
  $ dune rocq top --toplevel=echo Test.v | ../../scrub_coq_args.sh
  -topfile $TESTCASE_ROOT/_build/default/Test.v
  -w -notation-overridden
  -w -deprecated-native-compiler-option -native-output-dir .
  -native-compiler on
  -nI lib/rocq-runtime/kernel
  -nI $TESTCASE_ROOT/_build/default
  -boot
  -R coq/theories Corelib
  -R $TESTCASE_ROOT/_build/default minimal
