Added keychain to menu and ALT-arrow keys to terminal settings
Changed a few defaults I wasn't happy with:  Dock size/hide, highlight color
Added missing VisualSelection function