setup.py: update to https