Menu headers

Can be implemented by simply adding headers at the appropriate locations, or by organizing menu items into groups with an optional header. The latter is more complex but will make it possible to not render a header if the header has no items associated with it.