Adapt test-suite to -I is ML only
Adapt coq_makefile build rules to new -R -I semantic
Revert "Revert part of eba6b75 as coq_makefile ignores -I if it overlaps with -R. (Fix for Rocq/Rational.)"

This reverts commit 7d3ce4012a53b123dac95381bf46aac65f865d69.

Conflicts:
	CHANGES