രാഷ്ട്രപതി ഭവനിലും പേരുമാറ്റം; ദർബാർ ഹാൾ ഇനി ‘ഗണതന്ത്ര മണ്ഡപം’