अर्धकुंभ का नाम बदल कुम्भ करने पर बढ़ी योगी सरकार की मुश्किले, दाखिल हुई याचिका