Check in theme and plugin files from JuliaLang/julia