Merge branch 'robbert/NoBackTrack' into 'master'

Add a `NoBackTrack` type class.

See merge request robbertkrebbers/coq-stdpp!27
6 jobs for master in 8 minutes and 5 seconds
Status Job ID Name Coverage
  Build
passed build-coq.8.6.1 #8123
fp-timing

00:02:17

passed build-coq.8.7.1 #8122
fp-timing

00:02:18

 
  Deploy
passed opam #8124

00:00:14

 
  Build More
passed build-coq.8.6.0 #8127
fp-timing

00:02:18

passed build-coq.8.7.0 #8126
fp-timing

00:02:13

passed build-coq.8.7.dev #8125
fp-timing

00:05:31