fix #7618, handling of port numbers starting ssh workers.
Merge branch 'master' of github.com:JuliaLang/julia
Merge remote-tracking branch 'upstream/master'

Conflicts:
	deps/libuv
	deps/openlibm
	deps/openspecfun
Merge branch 'master' of github.com:waTeim/julia