Peel and quarter the tomatoes. In a food processor, chop 4 tomatoes until they are diced very small, but not totally pulverized. Pour the contents of the food processor in a bowl with the diced onion. Add the last tomato, cilantro, and jalapeno to the food processor and run the processor until the jalapeno has been chopped very fine. Empty the contents of the food processor to the bowl. Mince the garlic clove and add it to the bowl. Add the lime juice with the salt to the bowl and stir.