Added "settings" menu item, misc fixes
prefs.js: disable shellshape logging to avoid clobbering the real shellshape log