update listVMs_to_json.py