GitLab

Remove Interval_tactic, as the tactic usage has diverged too much for the compatibility layer to still be useful.

This is simpler and more robust that testing version numbers.

Even if the environment is Cygwin, the compiler might still be the one
from MinGW, so the script no longer relies on uname.