Implement the scaling Price Refinement heuristic in CostScaling (#417)
instead of Early Termination.

These two heuristics are similar, but the newer one is faster
and not only makes it possible to skip some epsilon phases, but
it can improve the performance of the other phases, as well.

EXTRA_DIST += \

	scripts/bib2dox.py \

	scripts/bootstrap.sh \

	scripts/chg-len.py \

	scripts/mk-release.sh \

	scripts/unify-sources.sh \

	scripts/valgrind-wrapper.sh