Use port 80 to verify keys

Use port 80 instead of the default port 11371.
This makes the provision process easier behind firewalls.