Made PyPI badge HTTPS as well.