Rename forum instances

It was suggested to rename the instances from Gurobi and Cplex forums. This should only be performed after we have finalized the selection.