Partially revert "remove unnecessary size groups"

The header bar size group was actually important: it was keeping the New
Game button at the proper height. And since it wasn't causing any
problems, let's just put it back.

https://bugzilla.gnome.org/show_bug.cgi?id=726951