Rename jsontool to json