[ASan] Improve ODR-violation error reports.

Demangle names of involved globals. Print a more consistent summary line.