Redirect old googlecode.com demo URL to new HTTPS URL at google.github.com