#160 not all FPGAs are virtex2

[Sebastien]

Currently the way to register Xilinx FPGA devices is with the command "pld device virtex2". Virtex-2 refers to only one (and obsolete) model of Xilinx FPGA, so the command argument (and potentially other virtex2 references in the code) should be renamed to something else.