40424c9d0f
add the option to pass an alternate port to plm for example node0 port=2222 directs the plm (via the ORTE_NODE_PORT) attribute to use the non default port 2222 (e.g. ssh -p 2222 node0 ...)