I find this an interresting question and it continues to be. The FPGA's world is also on the constant move and due to this new boards keep arising.
If it is still an open question, I would suggest ZYBO from Digilent or DE1-SOC from Terrasic.
Which to chose is highly dependant on ones take on Xilinx vs. Altera (a completely different discussion).
The good about the two is that they have both FPGA and ARM processor for learning both FPGA design, and embedded OS development.
