Give the HTTPS url for jenkins in doc/HACKING