serverinit: allow specifying port numbers in user@server:port:pass

With heuristics and tests.

Change-Id: Ifacfc725db15100c447a3251c23267a5bfd313cf