LUCENE-4733: merge Lucene42 codec from lucene-4547 branch

git-svn-id: https://svn.apache.org/repos/asf/lucene/dev/branches/branch_4x@1441578 13f79535-47bb-0310-9956-ffa450edef68