Tests have been done with the old and new best star algorithms. It
showed us that the older version was in fact implemented differently
from what the literature says it should be, and the new us ok.

The old version has been deleted and the new one will still be in the
framework.

Minor changes in DocumentClustering.java as well.