ZedBrick - A Lego NXT Brick Controller on Xilinx Zynq