added some cocoa keybindings to terminal