Plumb a handle to the return value through the hotprofiler.

Plumb the symbol name through more of the hotprofiler.
Annotate hotprofiler virtual override methods with override keyword as needed.
Reformat as necessary to meet 80 char/line coding style.

Mike Magruder says (04Jun2014): I see a diff from early April which
plumbed the return value thru to the event hook. Of course, the guys
who made that change had no cause to plumb it into the hot profiler
extension because no working code needed it. Feel free to pass that down
as you see fit, it shouldn’t hurt anyone.