[router] use mce on-demand#415

jcp19 wants to merge 4 commits into

masterviperproject/VerifiedSCION:masterfrom

change-router-od-modeviperproject/VerifiedSCION:change-router-od-modeCopy head branch name to clipboard