add time measurements to dump.js
load JSON for nets from server if available
delay "loading..." message for half a second
check in JSON version of 3dall