#403: Pull changes from pocketsphinx repository
Merge pull request #405 from jeff1evesque/submodule_pocketsphinx

#403: Pull changes from pocketsphinx repository