Added ILP A* heuristic and LP enumeration using Gurobi. Because we are
not allowed to distribute Gurobi, the gurobi.jar that is being uploaded
is merely a dummy jar to make sure the code can compile. If you want to
run jobs with Gurobi, you will need to download Gurobi and use their
provided jar.