Changed default GF code to flint: both "small" and "big"

depending on SizeLimit option.  The Strategy option can currently
be used to choose "Old", "New" (both engine defined types), "Givaro",
"Flint", "FlintBig".  These first three might go away soon.