Return VNC port in show_headnode

There's a little bit of (documented) trickiness, in haas/model.py

This needs to be deployment-tested.
Indeed; check out `xml.etree`. You can probably make this a one-liner with the xpath stuff.