add gurobi to storm dependencies

[sjunges]

This PR adds a Gurobi Installation to the dependencies. This will not affect downstream because Storm needs to be told to include gurobi.