org.eclipse.team.* missing from product file.

Without o.e.team.*, the new history feature isn't going to work.

[Bug][Toolbox]

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

@@ -176,4 +176,18 @@
          version="0.0.0"
          unpack="false"/>
 
+   <plugin
+         id="org.eclipse.team.ui"
+         download-size="0"
+         install-size="0"
+         version="0.0.0"
+         unpack="false"/>
+
+   <plugin
+         id="org.eclipse.team.core"
+         download-size="0"
+         install-size="0"
+         version="0.0.0"
+         unpack="false"/>
+
 </feature>