Clarified some documentation

Documented the scenarios that the vncport field in show_headnode can be None