scripts/test_translator.py: restore '[ OK ]' prints#1358

fw-immunant merged 1 commit intomasterimmunant/c2rust:masterfrom

fw/fix-test_tr.pyimmunant/c2rust:fw/fix-test_tr.pyCopy head branch name to clipboard