Change Travis build to use shared libraries to avoid 'no space left on device'#1183

danpovey merged 2 commits intokaldi-asr:masterkaldi-asr/kaldi:masterfrom

danpovey:travis_shareddanpovey/kaldi:travis_sharedCopy head branch name to clipboard