quick fix for "empty token" failure when input ends with ['\n']+
Merge branch 'master' of github.com:sagotch/html_of_proof_tree