add simpler function Bitstream_Read_Normal
verify Bitstream_Write_Normal
formatting
simplify implementation
add new files to makefile
use Read_Normal in Decoder
use Write_Normal in Encoder
fix duplicate include guards
make Read using Read_Normal
remove wrong precondition