Undo boost_exception dependency.  User reported other problems may be the cause (subtle g++ ABI
incompatabilities)
Merge branch 'pruning2' of github.com:kpu/kenlm into pruning2