Add registry keys to IE plugin installer, and silently wait for user to restart IE if needed.

Patch by: jlabanca
Review by: jat

git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@6907 8db76d5a-ed1c-0410-87a9-c151d255dfc7
2 files changed