Formalize Authoritative RA from SCION in terms of RA from the gobra-libs#411

jcp19 merged 6 commits intomasterviperproject/VerifiedSCION:masterfrom

use-ra-formalizationviperproject/VerifiedSCION:use-ra-formalizationCopy head branch name to clipboard