I do not recommend to use the fpgahdl_xilinx repository, is outdated. Please use the hdl repository instead, clone it and generate your own system.bit, following this instructions. After that use this instruction to setup your software environment.
We do not support XPS/EDK projects anymore, I'm recommend to use Vivado 2013.4 and follow the instructions above.
Thank you,
Istvan