olive oil onions mushrooms garlic beef or vegetable stock pearled barley bay leaf thyme salt and pepper milk cornstarch