Green Beans with Mushrooms and Onions