update redirect (#196)

* update redirect

* rackspace directly for https

_includes/_404_redirect.html

@@ -1,10 +1,13 @@
 <script type='text/javascript'>
 var url = document.location.href
+var s = false
 
 if(url.startsWith("https://")){
     url = url.substring(8)
+    s = true
 } else if(url.startsWith("http://")){
     url = url.substring(7)
+    s = false
 }
 if(url.startsWith("www.")){
     url = url.substring(4)
@@ -14,9 +17,23 @@
 }
 
 if(url.startsWith("pub/")){
-    window.location.assign("https://pub.fenicsproject.org/" + url.substring(4))
+    if(s){
+        window.location.assign("https://a654cc05c43271a5d22f-f8befe5e0dcd44ae0dccf352c00b4664.ssl.cf5.rackcdn.com/" + url.substring(4))
+    } else {
+        window.location.assign("http://pub.fenicsproject.org/" + url.substring(4))
+    }
+}
+if(url == "pub"){
+    if(s){
+        window.location.assign("https://a654cc05c43271a5d22f-f8befe5e0dcd44ae0dccf352c00b4664.ssl.cf5.rackcdn.com/")
+    } else {
+        window.location.assign("http://pub.fenicsproject.org/")
+    }
 }
 if(url.startsWith("olddocs/")){
     window.location.assign("https://olddocs.fenicsproject.org/" + url.substring(8))
 }
+if(url == "olddocs"){
+    window.location.assign("https://olddocs.fenicsproject.org/")
+}
 </script>