Armed civilian shoots and kills OKC gunman