हाई कोर्ट में इलाहाबाद का नाम बदले जाने के खिलाफ याचिका दाखिल