points-to-partitions: --min-density implemented (to test); minor output bug fixed