allow to specify the TCP port in XML

This patch allows to set the TCP port for RIOT native in the XML file in
order to ease script development.