xilinx_ise: add --no-source option to disable sourcing of ISE settings file
xilinx_ise: do not attempt to source settings file on Windows