better docs, ide-tool-utils as ts, es6 and es5

jsteuer

2020-02-05 17ae81f04074ad5b2fdbb21f221e33e69b425e53

 examples/example-standalone/MyEditor/editor.html

File was renamed from examples/example-ide/MyEditor/editor.html
@@ -24,6 +24,12 @@
   </ul>

   <script src="/mathcoach/ui/ide/api/ide-lib.js"></script>
   <!-- 
      Falls gewünscht: "mathcoach-ide-tool-utils.js" aus "/dist/lib/"
      in dieses Verzeichnis kopieren und einbinden.

      <script src="mathcoach-ide-tool-utils.js"></script> 
   -->
   <script src="./editor.js"></script>
</body>
</html>