add repo listing to GitHub API
port @Carreau's tree/blob rendering

/github urls now look like GitHub urls
restore files URL stripping