#252: Pull PocketSphinx submodule changes
Merge pull request #253 from jeff1evesque/submodule_pull_pocketsphinx_gitignore_removal

#252: Pull PocketSphinx submodule changes