verbose terminate() on by default

[Gabriel Dos Reis]

Phil Edwards <phil@jaj.com> writes:

| > and making its definition
| > static?
| 
| Uh.  Why?  We want it to be available to users.

__verbose_terminate_handler() is not used nowhere outisde of
eh_terminate.cc. 

-- Gaby