FIXED: fix for reading the character with code 0 from text streams
that do not use a UTF-8 based locale.  Patch by Fabrizio Riguzzi.
FIXED: Issue#7: aborting sleep/1 from tracer does not stop prematurely.