Library stdpp.options

Coq configuration for std++ (not meant to leak to clients)

Export Set Default Proof Using "Type".
Export Set Default Goal Selector "!".