tool for importing json-formatted exercises