specify ISE (not Vivado)

I wasted a few hours downloading the wrong package from Xilinx, so I'd like to propose this clarification.