Merge branch 'disable-ltac-backtrace' into 'master'

Set the Ltac backtrace option in tests.

See merge request !213
7 jobs for master in 11 minutes and 31 seconds (queued for 1 second)