gurobi.hats added; choose and union added to linset_listord, and tests added for union

gurobi.hats should be fairly complete.