providers/docker: don't port map SSH if no has_ssh [GH-3857]