Quién fue Kitty O’Neil, la pionera a quien Google celebra hoy con un ‘doodle’