Refresh page after options change

This functionality requires "tabs" permission. Unfortunately, this permission triggers warning upon extension install: "Access your tabs and browsing activity" (see http://developer.chrome.com/extensions/permission_warnings.html for more details).

For personal use, that's OK. But if you plan to make this extension public, this can repel lots of potential users.