KNITRO moved to JuliaOpt