Okra with Tomatoes and Onions