Fix `marked is not defined` error (and include in repo, just in case)

CHANGELOG.md

@@ -20,3 +20,4 @@ Changed for individual apps are listed in `apps/appname/ChangeLog`
 * New 'espruinotools' which fixes pretokenise issue when ID follows ID (fix #416)
 * Improve upload of binary files
 * App description can now be markdown
+* Fix `marked is not defined` error (and include in repo, just in case)

index.html

@@ -174,14 +174,14 @@
     </footer>
 
     <script src="https://www.puck-js.com/puck.js"></script>
+    <script src="lib/marked.min.js"></script>
+    <script src="lib/espruinotools.js"></script>
+    <script src="lib/heatshrink.js"></script>    
     <script src="js/utils.js"></script>
     <script src="js/ui.js"></script>
     <script src="js/comms.js"></script>
     <script src="js/appinfo.js"></script>
     <script src="js/index.js"></script>
-    <script src="lib/espruinotools.js"></script>
-    <script src="lib/heatshrink.js"></script>
-    <script src="https://cdn.jsdelivr.net/npm/marked/marked.min.js"></script>
     <script src="js/pwa.js" defer></script>
   </body>
 </html>