Pulsing Codec

One issue still in PulsingPostingReader.cs - static interface conversion
from java