Box and match techniques applied to soft-decision decoding

We improve the ordered statistics decoding by using matching techniques. This allows us: to reduce the decoding complexity by an exponential factor; to achieve near optimal decoding at a cost at most cubic in the code length for rate-1/2 codes of lengths tip to 128; to achieve near optimal decoding of a rate-1/2 code of length 192.