Adding the old listing of repos.

See abbe98.github.io/repositories.html