Rework pruning command line
Merge branch 'pruning' of github.com:kpu/kenlm into pruning