Globally Optimal Time-multiplexing of Inter-FPGA Connections for Multi-FPGA Prototyping Systems