Mixed lentils cooked with ginger, garlic, cilantro, and a touch of butter