Sev/menu headers

This branch makes the style of menu headers editable in skinfiles. It also removes a lot of redundancy by moving the initialization of the header labels into a dedicated function.

Default values have been added to existing skinfiles.