update HTTPS user_agent to reflect version
Merge branch 'master' into debian-master