Update OSX CPLEX instructions with Carsten Haubold's recipe.