add link to julia-opt mailing list