OSX keyboard shortcut to switch buffers using IDO