fix #5225
Merge branch 'master' of github.com:JuliaLang/julia
Use openspecfun.
Amos and Faddeeva were moved out of openlibm.
libopenlibm-extras is now libopenspecfun, which has its own repo.
Merge branch 'vs/olm-extras' of github.com:JuliaLang/julia into vs/olm-extras