New menus look

The goal is double:
- make the menus more consistent with the rest of the program (especially with dialogs, so both should share the same options about shape and colors)
- free ourselves from the tyranny of GTK3 (menus should have icons, at least optionally)