terminal.py:  Improved WAV sound file support (better size detection).  Also cleaned up some leftover comments.