fixed xilinx-isim -lib
fix typos
added fpga-sim-xilinx-isim tcltest test
documentation updates