Remove BTX with extra comments from headers.

I'm planning to remove BTX/ETX from all the headers, and this is a small "test run" that handles one specific special case: it removes BTX from any headers that included useful comments on the same line as the BTX. For these, I didn't remove the entire //BTX line, which is what we will want to do for all the other header files.