This moves the HyperLogLog license from THIRDPARTY into the correct
NOTICE file and lso fixes a few related typos and minor differences
with upstream license files.

Reviewed-by: Heikki Linnakangas