Donald Trump has aimed squarely at semiannual time changes as a source of American inefficiency. So where shall we set our clocks?