The only tools you really need to work with Opal Kelly modules is ISE WebPack which is available through the Xilinx website. Functional simulation is done with ModelSim, also available through the Xilinx website.
You should consult the Xilinx documentation for working with these two tools. Most of our documentation assumes prior knowledge of the synthesis and simulation tools.