OpenOCD fork with DCC server support