pom.xml updated; gurobi updated from 5.6.2. to 6.0.0
Authored by: michal-m 2015-02-17
Parent: [r32178]
Child: [r32180]