On the computer enumeration of finite topologies