Unfortunately, it still relies on the same Xilinx ISE (webpack is sufficient), so, it's not possible to cook bitfiles on the Pi itself. But the board itself is nice, easily programmable via SPI, has a decent Spartan6 LX9.