tcl/board: Add Arty-S7 Spartan 7 FPGA Development Board