Please serve files at jenkins.trisquel.info under HTTPS

Please serve http://jenkins.trisquel.info/ as something like https://jenkins.trisquel.info/files/ so you can serve both the main contents of jenkins.trisquel.info/ (which appears to be a redirect to devel.trisquel.info) and the file directory under https. As it is, the http access for downloadable files is insecure, and that file directory is important enough that it should continue to exist. Also please redirect requests from http to https.

Thanks! : )