Allow custom path to Xilinx distribution in flash script, and default the Atlys development board USB IDs for flashing.

This is useful if a custom path was specified during Xilinx installation.

Changing the default USB device IDs means the flash script works correctly with the Atlys boards 'out of the box'.