Gurobi license update

The Gurobi license needs to be updated as it is close to expiration. This work is scheduled for October 27, 2015 from 7:30 AM to 8:30 AM. It will not be possible to check out a Gurobi license during the license server downtime.