Remove file no longer used, remnant of toolserver.org.