Rename `NoBackTrack` into `TCNoBackTrack`.

8 jobs for master in 10 minutes and 26 seconds (queued for 4 minutes and 39 seconds)
Status Job ID Name Coverage
  Build
passed #30266
fp
build-coq.8.7.0

00:02:36

passed #30265
fp
build-coq.8.7.1

00:02:38

passed #30264
fp
build-coq.8.7.2

00:02:37

passed #30263
fp-timing
build-coq.8.8.0

00:02:34

passed #30262
fp
build-coq.8.8.1

00:02:41

passed #30261
fp
build-coq.8.8.2

00:02:42

passed #30260
fp-timing
build-coq.8.9.0

00:02:58

passed #30259
fp
build-coq.dev

00:07:49