Update libhsl to the last version (2012.12.21)

Also, HSL is provided as a tar or a zip file. Rename/unpack accordingly.