use vnc(5900) and websockified(80) for noVNC

the user can decide which one to use via `docker run -p 80:hostport`
let the runtime decide which port to use