After a ‘robust rulemaking agenda,’ Gensler’s departure will coincide with President-elect Trump’s inauguration.