A minimal web crawler