Fixes bug #7667: Keyboard shortcut overlap with Chrome

Changed shortcut for reloading without extensions to Opt-Shift-R and
created a browserForceReload function that is triggered by Cmd-Shift-R.
Changes to src/nls/root/strings.js will need to be localized for other
languages as well.