Return VNC port in show_headnode

There's a little bit of (documented) trickiness, in haas/model.py

This needs to be deployment-tested.
Now docuemnted