Update test-suite Makefile to handle coq-prog-args
Eta contractions to please cbn
Cbn is happier when ?SetPositive fixpoints have the set as recursive argument
Pos.iter arguments in a better order for cbn.