[devtools] Add script/action to mirror wiki to pages.oils.pub (#2599)