Fix erroneous cast from byte to int in IBBInputStream's read()
method. The casted value needs to be masked with 0xff, because bytes
in java are signed (two's complement)

Fixes SMACK-394