Finalize documentation in headerparser.js. Tweak getHeaderTokens as well, too.

getHeaderTokens sure is complicated. A great example of why no one should ever
write their own MIME parser...