#164: Remove PocketSphinx packages
Merge pull request #241 from jeff1evesque/doc_remove_pocketsphinx_packages

#164: Remove PocketSphinx packages