ConvolutionalCoder: changed puncture matrix data structure to ShortBitVector.