fix #9117 (add DLLEXPORT to jl_base_ctx), and make stack switch more efficient (avoid the double longjmp)