Triger tests in CI.

Trigger tests in CI.

 Fix Makefile.

udpate opam file to support coq-8.21~

especialize now must ecplicitely cite created evars.

Still looking for a way to have a "default mode" where all variables
needed to *type* the premised to be proved are evarized.

For not we do

especialize X with x,y,z at 1,2,3.

And we get errors if we forget a variable.

Same player try again.

Un plugging especialize because it does not work in coq-8.18.

This is due to coq's specialilze being less permissive with evars.
I Will try to find a way to reimplement when I have time. This may need
to extend coq.

Merge pull request #10 from palmskog/fix-license-opam

Unambiguously state MIT license

Fixed wrong use of tactic move + optim + tests adapted.

Fixed wrong use of tactic move + optim + tests adapted.