Sen. Mike Lee posts thousands of times, often late at night, about politics. Colleagues have grown accustomed to the Utah Republican’s online persona, mostly brushing it off.