Application layout

[ids1024]

The layout of the application could use some general improvements.

• Probably use GtkHeaderBar (Windows 10 theme on Windows #7)
• Better spacing
• Etc.

[ids1024]

GtkHeaderBar is now used and a lot of the style issues have been improved. Not much reason to keep this particular issue.