Fixes #4394: Documentation still mentions port 80 for web interface, should be 443
Merge pull request #48 from jooooooon/bug_4394/documentation_still_mentions_port_80_for_web_interface_should_be_443

Fixes #4394: Documentation still mentions port 80 for web interface, sho...
Merge branch 'branches/rudder/2.8' into branches/rudder/2.9