Updates Editor with Custom Ace

This update adds a rule to the makefile that pulls ace.js and mode-grace.js
from gracelang/ github repositories. Updates index.html and .gitignore
to accommodate changes.

Author: Dmitri-2

.gitignore

@@ -1,2 +1,3 @@
 embedded-web-editor.xcworkspace
 *~
+ace/

Makefile

@@ -1,5 +1,11 @@
 USER = grace
 HOST = linux.cs.pdx.edu
 TARGET_DIRECTORY = public_html/embedded-web-editor
-deploy:
+
+deploy: pull-ace
 	rsync -rltz --delete --exclude .git --omit-dir-times --chmod=Fa+rX . $(USER)@$(HOST):$(TARGET_DIRECTORY)
+
+pull-ace:
+	mkdir -p ace
+	curl -s https://raw.githubusercontent.com/gracelang/ace/fix-brackets/build/src/ace.js > ace/ace.js
+	curl -s https://raw.githubusercontent.com/gracelang/grace-web-editor/pdx/scripts/ace/mode-grace.js > ace/mode-grace.js

index.html

@@ -39,8 +39,8 @@
     <script src="http://web.cecs.pdx.edu/~grace/ide/js/minitest.js" type="text/javascript"></script>
 
 
-    <script src="http://web.cecs.pdx.edu/~grace/minigrace/js/ace/ace.js" type="text/javascript"></script>
-    <script src="http://web.cecs.pdx.edu/~grace/minigrace/js/ace/mode-grace.js" type="text/javascript" charset="utf-8"></script>
+    <script src="ace/ace.js" type="text/javascript"></script>
+    <script src="ace/mode-grace.js" type="text/javascript" charset="utf-8"></script>
 
 
     <script src="http://web.cecs.pdx.edu/~grace/ide/js/turtle.js" type="text/javascript"></script>