Minimalize -- boolean option of groebnerStratum (currently a no-op)

This is an optional input for the groebnerStratum function. It is intended to control whether eliminable parameters are eliminated to obtain the Groebner stratum in a smaller ring.

At present this option is not yet implemented: passing Minimalize => true prints a warning and otherwise behaves exactly like Minimalize => false. See the source-level minimalizeFamily draft in GroebnerStrata.m2 for the current blocker (the parameter ring built by groebnerFamily has a single GRevLex block, but the parameter-elimination logic needs a Lex subblock to identify eliminable parameters).

Functions with optional argument named Minimalize:

• groebnerStratum(...,Minimalize=>...) -- see groebnerStratum -- compute the ideal where a given is a Groebner basis