Xilinx development software on Linux (was Re: Getting started with programmable logic)