put table column headers under <thead> not <tbody>
use $("<element>") constructors rather than HTML
move #flash notice div into Options heading
lengthen "Sound" option description for alignment
Merge branch 'options.clearTimers' into personal
avoid 5-sec dismissal with window.Notification API

After using GH-7 for a week now, I observe that the chrome.notifications
API automatically hides the timer notice after 5 seconds whereas the old
webkit.notifications and the new window.Notification APIs do not.

I prefer the latter behavior because I want the timer notice to be visible
until _I manually_ dismiss it.  For example, I might look away from my
computer for a moment (and thereby miss the timer notice) and return to
using my computer while thinking that the timer is still in progress.

So this commit updates this extension to use the window.Notification API.
Merge branch 'window.Notification' into personal
show timer text with number, not just description
move timer history to bottom; merge #stats into it
add bright red foreground color to #flash message
Merge branch 'patches' into personal