redirect repo browsing to github

removed links to svn for now - we need to think how to get them back soon.