A quick, easy recipe for grilled okra and tomatoes.