builder: integrate menus more properly

We have menu-valued properties now, so it would be convenient to write:

  <property name="menu">
    <menu ...

But GtkBuilder only allows menus at the toplevel, it seems.