Implement mechanism to inform users of noteworthy news

Fixes Github issue #100
https://github.com/tlaplus/tlaplus/issues/100

[Feature][Toolbox][Changelog]

org.lamport.tla.toolbox.feature.standalone/feature.xml

@@ -110,6 +110,10 @@
          id="com.abstratt.eclipsegraphviz.feature"
          version="0.0.0"/>
 
+   <includes
+         id="org.eclipse.recommenders.news.rcp.feature"
+         version="0.0.0"/>
+
    <plugin
          id="org.lamport.tla.toolbox.product.standalone"
          download-size="0"
@@ -276,4 +280,88 @@
          version="0.0.0"
          unpack="false"/>
 
+   <plugin
+         id="org.apache.commons.lang3"
+         download-size="0"
+         install-size="0"
+         version="0.0.0"
+         unpack="false"/>
+
+   <plugin
+         id="org.eclipse.mylyn.commons.notifications.core"
+         download-size="0"
+         install-size="0"
+         version="0.0.0"
+         unpack="false"/>
+
+   <plugin
+         id="org.eclipse.mylyn.commons.notifications.feed"
+         download-size="0"
+         install-size="0"
+         version="0.0.0"
+         unpack="false"/>
+
+   <plugin
+         id="org.eclipse.mylyn.commons.notifications.ui"
+         download-size="0"
+         install-size="0"
+         version="0.0.0"
+         unpack="false"/>
+
+   <plugin
+         id="org.eclipse.mylyn.commons.workbench"
+         download-size="0"
+         install-size="0"
+         version="0.0.0"
+         unpack="false"/>
+
+   <plugin
+         id="org.eclipse.jdt.annotation"
+         download-size="0"
+         install-size="0"
+         version="1.1.100.v20160418-1457"
+         unpack="false"/>
+
+   <plugin
+         id="org.apache.commons.lang"
+         download-size="0"
+         install-size="0"
+         version="0.0.0"
+         unpack="false"/>
+
+   <plugin
+         id="org.eclipse.mylyn.commons.screenshots"
+         download-size="0"
+         install-size="0"
+         version="0.0.0"
+         unpack="false"/>
+
+   <plugin
+         id="com.google.guava"
+         download-size="0"
+         install-size="0"
+         version="15.0.0.v201403281430"
+         unpack="false"/>
+
+   <plugin
+         id="org.eclipse.mylyn.commons.ui"
+         download-size="0"
+         install-size="0"
+         version="0.0.0"
+         unpack="false"/>
+
+   <plugin
+         id="org.eclipse.mylyn.commons.core"
+         download-size="0"
+         install-size="0"
+         version="0.0.0"
+         unpack="false"/>
+
+   <plugin
+         id="org.eclipse.ui.browser"
+         download-size="0"
+         install-size="0"
+         version="0.0.0"
+         unpack="false"/>
+
 </feature>

org.lamport.tla.toolbox.jclouds/META-INF/MANIFEST.MF

@@ -11,7 +11,7 @@ Require-Bundle: org.eclipse.core.runtime,
  jclouds-scriptbuilder;bundle-version="1.7.3",
  jclouds-slf4j;bundle-version="1.7.3",
  jclouds-sshj;bundle-version="1.7.3",
- com.google.guava;bundle-version="15.0.0",
+ com.google.guava;bundle-version="[15.0.0,21.0.0)",
  com.google.inject;bundle-version="3.0.0",
  org.apache.commons.io;bundle-version="2.0.1",
  org.lamport.tlatools;bundle-version="1.0.0"

org.lamport.tla.toolbox.product.product/TLAToolbox.target

 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
-<?pde version="3.8"?><target name="TLA+ Toolbox" sequenceNumber="79">
+<?pde version="3.8"?><target name="TLA+ Toolbox" sequenceNumber="81">
 <locations>
 <location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit">
 <unit id="org.eclipse.contribution.weaving.feature.group" version="2.2.4.201704242114"/>
@@ -55,6 +55,19 @@
 <unit id="com.abstratt.eclipsegraphviz.feature.feature.group" version="2.1.201501.201606262232"/>
 <repository location="jar:http://repository-textuml.forge.cloudbees.com/snapshot/com/abstratt/eclipsegraphviz/com.abstratt.eclipsegraphviz.repository/2.1.201501/com.abstratt.eclipsegraphviz.repository-2.1.201501.zip!/"/>
 </location>
+<location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit">
+<unit id="org.eclipse.recommenders.news.rcp.feature.feature.group" version="2.5.0.v20171201-1623"/>
+<repository location="http://download.eclipse.org/releases/oxygen"/>
+</location>
+<location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit">
+<unit id="org.apache.commons.collections" version="3.2.2.v201511171945"/>
+<repository location="http://download.eclipse.org/tools/orbit/downloads/drops/R20170919201930/repository"/>
+</location>
+<location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit">
+<unit id="org.eclipse.mylyn.commons.feature.group" version="3.21.0.v20160707-1856"/>
+<unit id="org.eclipse.mylyn.commons.notifications.feature.group" version="1.13.0.v20160721-2347"/>
+<repository location="http://download.eclipse.org/mylyn/releases/3.21"/>
+</location>
 </locations>
 <targetJRE path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/J2SE-1.5"/>
 </target>

org.lamport.tla.toolbox/plugin.xml

@@ -1392,6 +1392,20 @@
       </participant>
    </extension>
    
+   
+<!-- ================================================================================= -->
+<!-- News RSS Feeds - polling interval is in minutes                                   -->
+<!-- ================================================================================= -->
+   <extension
+         point="org.eclipse.recommenders.news.rcp.feed">
+      <feed
+            id="org.lamport.tla.tooblox.rss.feed"
+            name="TLA+ News"
+            uri="https://groups.google.com/forum/feed/tlaplus-announce/msgs/rss_v2_0.xml"
+            pollingInterval="60">
+      </feed>
+   </extension>
+   
    <!--                       -->
    <!-- Specification content -->
    <!--                       -->