Use https for Source URL in debian/copyright.