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