For most Americans, any knowledge of the Mexican wrestling style known as lucha libre is probably limited to what they gleaned from the 2006 Jack Black comedy “Nacho Libre,” which (it should go without saying) is not a movie that anyone should consider “factual.”