app menu: standardize help/about/quit

As of 3.12, we are using this style fairly consistently.

https://bugzilla.gnome.org/show_bug.cgi?id=731312
Move the board size preference to the app menu

We're going to treat this as an application-level preference.

https://bugzilla.gnome.org/show_bug.cgi?id=731312
Replace the menu bar with a header bar

Depends on GTK+ 3.13.2 for RTL icon theme support.

https://bugzilla.gnome.org/show_bug.cgi?id=731312
Replace GtkVBox with GtkBox

GtkVBox has been deprecated

https://bugzilla.gnome.org/show_bug.cgi?id=731312
Updated Brazilian Portuguese translation
Updated Hebrew translation
Updated Greek translation
Updated Polish translation
Remove status bar

Center the timer beneath the grid, and use a clock icon instead of a
text label.

I tried placing the timer in the header bar instead, but that did not
look as good as expected.

https://bugzilla.gnome.org/show_bug.cgi?id=731312
Updated Polish translation
Updated Brazilian Portuguese translation