Improved computation of tau.
Revision of the weights.

They seem to work better on vdW- and palindromic vdW-problems, with the
only exception that with the tau-heuristic, on palindromic problems a
tiny increase in node count seems to happen.