Locking of Terahertz Semiconductor Dual-Comb Laser Sources