Remove unecessary HTTPS redirect hack

docs/js/httpredirect.js was necessary when RTD didn't do HTTP->HTTPS redirects properly. It now does so we can remove the hack.