Restart the Dock with a keyboard command in OS X