Update SMLNJ.xml to add optional "that"

fixes #2411 

Signed-off-by: Jilayne Lovejoy

src/SMLNJ.xml

@@ -17,7 +17,7 @@
 
       <p>Permission to use, copy, modify, and distribute this software and its documentation for any purpose and
          without fee is hereby granted, provided that the above copyright notice appear in all copies and that
-         both the copyright notice and this permission notice and warranty disclaimer appear in supporting
+         both <optional>that</optional> the copyright notice and this permission notice and warranty disclaimer appear in supporting
          documentation, and that <alt match="(the name of.+)|(the names of.+)" name="advertisingPermission">the
          name of Lucent Technologies, Bell Labs or any Lucent entity</alt> not be used in
          advertising or publicity pertaining to distribution of the software without specific, written prior