Gurobi button only enabled if installed...

and version number is sufficient.