Certification of Translators via Off-line and On-line Proof Logging and Checking