A possible replacement for Mac OS arrives in the form of a company founded by a charismatic former Apple executive—but not the one you’re thinking of.