Clarify hide-on-close documentation

gtk_window_set_hide_on_close already explained that destroying (rather than doing nothing) is the alternative to hiding. However, neither gtk_window_get_hide_on_close nor the hide-on-close property did so.