tweaks for greasemonkey: hide monkey button, also add a keyboard shortcut to toggle scripts
tweaks for greasemonkey: hide monkey button, also add a keyboard shortcut to toggle scripts

steven-h-gardiner/greasecooper,steven-h-gardiner/greasecooper