बंबई, मद्रास और कलकत्ता हाई कोर्ट के नाम बदले जाएंगे, कैबिनेट ने लिया फैसला