Within the "use" function use a reference and TextIO.StreamIO.input1 to read characters rather than TextIO.input1.  This is somewhat faster because it avoids the locking needed in TextIO.input1 to handle the possibility that a stream might be read by multiple threads.
Within the "use" function use a reference and TextIO.StreamIO.input1 to read characters rather than TextIO.input1.  This is somewhat faster because it avoids the locking needed in TextIO.input1 to handle the possibility that a stream might be read by multiple threads.

git-svn-id: 98787b36aaefbae4b30fa755be920954cd25e1e4@875 ae7d391e-3f74-4a2b-a0db-a8776840fd2a

mn200/polyml,dcjm/polyml,polyml/polyml,mn200/polyml,mn200/polyml,polyml/polyml,polyml/polyml,mn200/polyml,dcjm/polyml,dcjm/polyml,polyml/polyml,dcjm/polyml