If you aren't familiar with Vagrant have a look at this link. I decided to go with the Ubuntu Precise Pangolin LTS Vagrant box which seems to work fine. It has all the bits in the right places and it's just a bit easier than messing around with things. Make sure you create a larger hard-disk. The following Vagrant file should work. I went with about 60G of harddisk space. Overkill a little. You might be able to get away with 30G instead. The Xilinx stuff takes up a lot of space.