Girish Karnad wants to airport name as Tipu’s