[Ide] Bug 17135 - mdtool crashes with NullReferenceException

Gtk.Settings.Default can return null if there is no default screen, e.g.
running from a remote terminal. In this case, return a null Gtk theme in
the version description.