Fix the license so that the next runs of copyright_updater.pl won't complain
No more roundings involved, we want all the decimals

In KTreeDist, we have to filter out the trees with only 0-distances.
With the roundings, the trees with very short branches are kept
(as they've got some non-zero branches), but are then rounded down to 0,
which makes KTreeDist fails.