राष्ट्रपती भवनातील दरबार हॉल-अशोक हॉलचे नामकरण, त्यांना गणतंत्र मंडप आणि अशोक मंडप अशी नावे दिली