Editor's drafts for time_sync branch of scionassociation/scion-cppki_I-D