GitLab

trunk: merging src/bin/ directory from ^/sandbox/online/, since previous commit was accidentally to ^/sandbox/online rather than to trunk.

git-svn-id: https://svn.code.sf.net/p/kaldi/code/trunk@4226 5e6a8d80-dfce-4ca6-a32a-6e07a63d50c8