Update to nat port mappings on VDI web page (cherry-pick from develop docs PR)

Stick's commit https://github.com/openmicroscopy/openmicroscopy/commit/619bdc583ba431c345ac88cd3dc67cb985e2f128 changed the local VDI's nat port to 8080, however it's still showing up on the User Docs page as 4080.