Added note about the wiki being gone

The wiki filled up with spam a few months after the quarter ended. I
presume that's why Lucas got rid of it. Somebody was going to move that
to a server in the CS lab, but I don't know if that happened. Anyway,
that link is now dead.