Gtk::Widget: Deprecate property_double_buffered()

* gtk/src/widget.hg: Deprecate set/get_double_buffered() and
property_double_buffered() which have been deprecated in gtk+.
Delete obsolete _IGNORE directives and obsolete comments.