Saves and restores the main window size in the GSettings.

The default size is updated to be 800x500. Gtk should automatically
resize it smaller if it doesn't fit on the screen.

Change-Id: Ia85f9fe870cf0695c5095cb138c2b8a61a8855a7
Tuleap: #1030