starting toward eventdata extraction for timings, etc.
Add event timing support

Lookup page enhancements
  - Add icons to lookup page headers
  - Add mouseover expansion to include-book path

Lint page
  - Add origin icons to rules
  - Make origin descriptions agree with lookup page descriptions

Session page
  - Add undo buttons (functionality not yet implemented)

Add under construction image to proof profiler page