Baby Bok-Choy With Garlic Sauce