Update to nat port mappings on VDI web page

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.