Compilation script fixes; asynchronous ground dataspace

Makefile

@@ -1,6 +1,6 @@
 lib: $(wildcard src/*.js)
 	mkdir -p $@
-	npx babel src --out-dir $@
+	npx syndicate-babel src --out-dir $@
 
 clean:
 	rm -rf lib

src/index.js

@@ -23,7 +23,7 @@ const N = 10;
 
 console.time('box-and-client-' + N.toString());
 
-dataspace {
+ground dataspace G {
   spawn named 'box' {
     field this.value = 0;
     assert Protocol.BoxState(this.value);
@@ -42,4 +42,6 @@ dataspace {
   }
 }
 
-console.timeEnd('box-and-client-' + N.toString());
+G.stopHandler = () => {
+  console.timeEnd('box-and-client-' + N.toString());
+};

src/msgspeed.js

@@ -23,7 +23,7 @@ const N = 100000;
 
 console.time('msgspeed-' + N.toString());
 
-dataspace {
+ground dataspace G {
   spawn {
     on start {
       << 0;
@@ -38,4 +38,6 @@ dataspace {
   }
 }
 
-console.timeEnd('msgspeed-' + N.toString());
+G.stopHandler = () => {
+  console.timeEnd('msgspeed-' + N.toString());
+};