HAFAS Binary: Use codec from the header to decode strings

Also, no need to create a string table becuase most strings aren't used
at all. Instead, extarct string when it's actually needed and cache it
for future.