Green beans with mushrooms and onions