sax everywhere
fix json format bug which caused by wrong indent; output the progress of
stroke2json.sh