While there have been a Nazi-era Carmen, a 20th-century Brooklyn “Carmen” and even a rodeo “Carmen,” San Francisco’s current staging is solidly traditional, much like the Opéra Comique ...