Programming a Terasic Intel FPGA board in Verilog with TINACloud