Merge pull request #789 from CEED/will/julia-preferencesJulia interface updates (Preferences.jl)
[Julia] Use Preferences in CI