A tiny program to read HTK header