#6 added 'permitVariableEncoding' attribute to the PositiveIntEncoder, added tests
#5 polished and added javadocs to PositiveIntEncoder