display community news in simple window; check timestamp and serial number * news-dock-widget.cc, news-dock-widget.h: Delete. * libgui/src/module.mk: Update file lists. * main-window.h, main-window.cc (news_reader): Move here from news-dock-widget.h and news-dock-widget.cc. Store page serial number. (news_reader::process): Check serial number. Save timestamp and serial number to settings file. (main_window::community_news_window): New data member. (main_window::main_window): Initialize it. Maybe display community news. (main_window::~main_window): Delete community_news_window. (fixed_community_news): New static constant. (main_window::load_and_display_community_news): New slot. (main_window::display_community_news): New slot. (main_window::news_window): Delete member variable and all uses.

--- a/libgui/src/module.mk	Sat Nov 16 02:44:20 2013 -0500
+++ b/libgui/src/module.mk	Sat Nov 16 02:52:30 2013 -0500
@@ -93,7 +93,6 @@
   src/moc-octave-interpreter.cc \
   src/moc-octave-qt-link.cc \
   src/moc-settings-dialog.cc \
-  src/moc-news-dock-widget.cc \
   src/moc-terminal-dock-widget.cc \
   src/moc-color-picker.cc \
   src/moc-welcome-wizard.cc \
@@ -134,7 +133,6 @@
   src/resource-manager.h \
   src/settings-dialog.h \
   src/thread-manager.h \
-  src/news-dock-widget.h \
   src/terminal-dock-widget.h \
   src/color-picker.h \
   src/welcome-wizard.h \
@@ -162,7 +160,6 @@
   src/resource-manager.cc \
   src/settings-dialog.cc \
   src/thread-manager.cc \
-  src/news-dock-widget.cc \
   src/terminal-dock-widget.cc \
   src/color-picker.cc \
   src/welcome-wizard.cc \