tests.json: tests.nt convert
	./convert
