Merge pull request #14 from antmicro/xdc_port_index_fix XDC: Fix port index parsing in get_ports command