JS: switch from josh.js console to jqconsole.

js/web/jqconsole.min.js and web/ansi.css are from
https://github.com/replit/jq-console and licensed MIT.

.gitmodules

@@ -1,3 +0,0 @@
-[submodule "js/josh.js"]
-	path = js/josh.js
-	url = git://github.com/sdether/josh.js

docs/TODO

@@ -32,6 +32,7 @@ Java:
     - step9_interop
 
 Javascript:
+    - switch to himera page/styling for online console
 
 Make:
     - allow '_' in make variable names

js/Makefile

@@ -4,9 +4,9 @@ TESTS = tests/types.js tests/reader.js tests/step5_tco.js
 SOURCES_BASE = node_readline.js types.js reader.js printer.js
 SOURCES_LISP = env.js core.js stepA_more.js
 SOURCES = $(SOURCES_BASE) $(SOURCES_LISP)
-WEB_SOURCES = $(SOURCES:node_readline.js=josh_readline.js)
+WEB_SOURCES = $(SOURCES:node_readline.js=jq_readline.js)
 
-all: node_modules mal.js mal_web.js
+all: node_modules mal.js web/mal.js
 
 node_modules:
 	npm install
@@ -16,11 +16,11 @@ mal.js: $(SOURCES)
 	cat $+ | grep -v "= *require('./" >> $@
 	chmod +x $@
 
-mal_web.js: $(WEB_SOURCES)
+web/mal.js: $(WEB_SOURCES)
 	cat $+ | grep -v "= *require('./" > $@
 
 clean:
-	rm -f mal.js mal_web.js
+	rm -f mal.js web/mal.js
 
 .PHONY: stats tests $(TESTS)