[DO NOT MERGE YET] Add InfiniteOpt as an Extension#114

pulsipher wants to merge 6 commits into

masterinfiniteopt/DisjunctiveProgramming.jl:masterfrom

infiniteopt_extinfiniteopt/DisjunctiveProgramming.jl:infiniteopt_extCopy head branch name to clipboard