define parameters for env.stop

See http://www.eda-twiki.org/cgi-bin/view.cgi/P1076/EnvStop.

Define standard parameters for env.stop