Making irstlm installation optional#10

danpovey merged 1 commit intokaldi-asr:masterkaldi-asr/kaldi:masterfrom

jtrmal:make-irstlm-optionaljtrmal/kaldi:make-irstlm-optionalCopy head branch name to clipboard