Read settings.json into javascript; fix #35