minimize the all-json-idls.js file. Closes #30