Use TLSv1 instead of default SSLv3 for vagrantcloud API server