Moved repo in docs to HTTPS