Archie, the Internet's first search engine, is rescued and running