jtag_vpi: make the server address configurable