small changes to Bencode_token
updated the interface of Bencode_streaming, now using
Bencode_token to make the parser much simpler and the API
less coupled