Update getallvms.py

Default port to 443 which should fit most of the cases.