Rename git repository from www-rw to psvg

Also put in permanent redirects for www-rw.doc.ic.ac.uk

Closes #4

.htaccess

+CheckSpelling Off
+
+RewriteEngine on
+RewriteCond %{HTTP_HOST} !=psvg.doc.ic.ac.uk
+RewriteRule ^(.*)$ http://psvg.doc.ic.ac.uk/$1 [R=301]
+
 ErrorDocument 404 /404.html

README.md

@@ -7,7 +7,7 @@ Program Specification & Verification Group Website: http://psvg.doc.ic.ac.uk/
 
 [![Dependency Status](https://gemnasium.com/bd81b2aa11ff43417700f75dbd194221.svg)](https://gemnasium.com/6ba7afbbfda9adcba06f007cc565a29a)
 
-The source code for [this site](http://psvg.doc.ic.ac.uk) is [hosted on the DoC GitLab server](https://gitlab.doc.ic.ac.uk/resource-reasoning/www-rw.doc.ic.ac.uk),
+The source code for [this site](http://psvg.doc.ic.ac.uk) is [hosted on the DoC GitLab server](https://gitlab.doc.ic.ac.uk/resource-reasoning/psvg.doc.ic.ac.uk),
 you should have access to edit it if a member of the resource-reasoning group.
 
 **DO NOT EDIT THE SOURCE CODE IN `/vol/rr/www`, IT IS ALL REPLACED EACH TIME THE SITE IS REBUILT FROM VERSION CONTROL**

ci/.htaccess

@@ -15,8 +15,9 @@ RewriteBase /ci/
 RewriteRule ^([^/]+)$ $1/ [R,L]
 
 # Force to HTTPS
-RewriteCond %{HTTPS} =off
-RewriteRule ^(.*)$ https://www-rw.doc.ic.ac.uk/ci/$1 [R=301,L]
+RewriteCond %{HTTPS} =off [OR]
+RewriteCond %{HTTP_HOST} !=psvg.doc.ic.ac.uk
+RewriteRule ^(.*)$ https://psvg.doc.ic.ac.uk/ci/$1 [R=301,L]
 
 # Proxy through to the internal server
 RewriteRule ^(.*)$ https://146.169.46.217/ci/$1 [P]