Multiple changes to architecture of the extension and the way
messages are sent from the content script (injected per page) and
the background script (one instance per chrome).

Fixes multiple race conditions for changing the titles.

Adds a new badge state (temporary) in which badges stay on as long
as you keep the ctrl key pressed. Badges disappear when you release
the ctrl key. Note that if you press the ctrl key and release very
quickly the keyup event will not take effect because of the race
condition this patch fixes.

Maybe we can fix this by that if the ctrl key is released we don't
worry about the race condition. Shouldn't be a problem overall as
it just disables changing the titles for 350 ms (see
capture_keyboard_events.js).
keydown behavior difference on windows and mac issue
In the TEMPORARY badge state, avoid changing the state and sending a message if we don't have to.
Modify badges.js to return if we get to the default case in the
switch handler of enableOrDisable function. Should never get there
theoretically since we will always have one of the three states.
Merge remote-tracking branch 'origin/feature_1' into feature_1
added tab_badges.png
Smarter logic with handling keydown events.
fix show_or_hide_badges call.
updated versiont to 1.5.1
testing git commit
committted
committing test 2
remove files