(Xronos,OpenForge) Adding back XronosConstantPropagation, adding only
the names of Virtex5 and Zynq to xilinx devices using the perl script
provided on XilinxDevices