Make.test-suite

examples/field_examples_check.v
examples/field_examples_no_check.v
examples/ring_examples_check.v
examples/ring_examples_no_check.v
examples/from_sander.v
examples/lra_examples.v

-R examples mathcomp.algebra_tactics.examples
-arg -w -arg -notation-overridden