Native menus for windows and linux

Fixes #89
I may have broken some mac stuff.
We should really throw out the global skin overrides, and use the native
appearance of the elements by default.
There may still be bugs with Linux styling. E.g. missing indents or too
much padding.